SVN revert to previous version
To undo all changes until a specified version, here is the command to do that: svn merge -rHEAD:456 .
SVN revert to previous version Read More »
To undo all changes until a specified version, here is the command to do that: svn merge -rHEAD:456 .
SVN revert to previous version Read More »
Some time ago I noticed that several programs have no icons in menus though they always had. I really didn’t like the lack of icons in eclipse so I was looking for a solution for this. I found two working solutions. Install dconf-tools and run dconf-editor to set two keys to true: org.gnome.desktop.interface.menus-have-icons org.gnome.desktop.interface.buttons-have-icons Install
Menu Items have no icons in Ubuntu 12.04/gnome3 Read More »
Window borders are very thin (1px) since ubuntu 11.10. So here is how to make borders clickable again. I use the Radiance theme, so the file to edit is /usr/share/themes/Radiance/metacity-1/metacity-theme-1.xml. There you have the values left_width, right_width and bottom_height all with the value 1. Just edit the value to let’s say 3px to make it
Ubuntu 12.04 Window Borders Read More »
chroot is a great tool to rescue systems. But a limitation is that /dev, /sys and /proc are not mounted by default but needed for many tasks. This can be done by using mount –bind on the host. Here an example how to get a functional chroot: mount –bind /proc /target/proc mount –bind /dev /target/dev
chroot and dev, proc, sys Read More »
If you want to share a single mouse+keyboard with two (or even more) workstations, you can use x2x which has to be installed on every station – a ssh-server is also needed. Then you are able to connect the stations by ssh -X username@remote_host -C “x2x -east -to :0” After this command you are able to
Connect Desktops with x2x Read More »
If you don’t want a guest account just add allow-guest=false to /etc/lightdm/lightdm.conf
Disable Guest Account in Ubuntu 12.04 Read More »
I don’t want my login screen to beep. So I looked for a way to mute it. I couldn’t find a way to do this over a menu or another configuration. After looking a while I decided to move the soundfile away by the following command sudo mv /usr/share/sounds/ubuntu/stereo/system-ready.ogg /usr/share/sounds/ubuntu/stereo/system-ready.ogg.old Now my login screen is
Mute Ubuntu 12.04 Login Screen Read More »
You can change the button layout the same way as in 11.10. See https://blog.coffeebeans.at/?p=11
Gnome 3 Button Layout Read More »
changing panels also has not changed since 11.10. See https://blog.coffeebeans.at/?p=16
nothing has changed for this since 11.10. So just see https://blog.coffeebeans.at/?p=47
Ubuntu 12.04 Gnome 2 Style Read More »