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).
Gabor
--
---------------------------------------------------------
MTA SZTAKI Computer and Automation Research Institute
Hungarian Academy of Sciences
---------------------------------------------------------
Reply to: