On Thu, Feb 10, 2005 at 02:08:16AM +0100, Norbert Tretkowski wrote: > > "Remove /.dev/" does not mean "rm -rf it". > > What does it mean instead?
It's what politicians do: quote something out-of-context and pretend it means something entirely different than in the original context :-) /etc/init.d/udev has: # if you don't like this, remove /.dev/. [ -d /.dev ] && mount -n --bind /dev /.dev Meaning: if you "rmdir /.dev" _before_ udev is started, then /etc/init.d/udev will not bind-mount the original /dev over it. If you do not know basic shell programming to understand at least that much, then you should better not "rm -rf" things at random (or at least do not complain about the results). Gabor -- --------------------------------------------------------- MTA SZTAKI Computer and Automation Research Institute Hungarian Academy of Sciences --------------------------------------------------------- -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]