OTA asked me to upgrade to 4.1.1 Jelly Bean today but as in all previous attempts to upgrade via OTA it failed again. So here is the manual way to upgrade from 4.0.4 to 4.1.1. How to get there can be found in previous posts in this blog. Of course you follow my steps on […]
Android Jelly Bean 4.1.1 on Nexus S [I9023] Read More »
I had to checkout a very large repository which included branches, tags and trunk in a subfolder of the project. So checking out the basedir gets all branches and tags which makes SVN very slow. So I was looking for a way to exclude folder from checkout. The following statement makes SVN ignore and delete
SVN: exclude folder from update 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 »