[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: what is /.udev for ?

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).


     MTA SZTAKI Computer and Automation Research Institute
                Hungarian Academy of Sciences

Reply to: