2011-08-15 A friend had a rather old Ubuntu installation, his first GNU/Linux. Now Gnome had some problems. I couldn't fix it right away. After some hours we started upgrading the system ... until we ran out of disk space. The problem was /tmp, which was a 1MB ram disk -- wtf? Unable to enlarge it, we decided to reboot the system in order to start anew. This, unfortunately, was fatal. The system didn't come up again. /sbin/init was missing, lost in the unfinished upgrade. Finally we decided to install fresh and restore the data backup. But what had been the real problem? Ubuntu? Gnome? Actually, I don't care too much, as I use neither of them. http://marmaro.de/lue/ markus schnalke