I demand that Marco d'Itri may or may not have written... > On Feb 09, Norbert Tretkowski <[EMAIL PROTECTED]> wrote: >> File a bugreport... /etc/init.d/udev says:
> Don't. >> # /.dev is used by /sbin/MAKEDEV to access the real /dev directory. >> # if you don't like this, remove /.dev/. > "Remove /.dev/" does not mean "rm -rf it". Yes. It means "rm -rf /.dev/" ;-) Interpreting "remove" as "delete" is reasonable [1], and your average user may well just delete it without looking (and, maybe, without thinking much about it at all). > Considering that the line above says "to access the real /dev > directory", I think that the message is very clear. I also say s/remove/unmount and remove/. [1] There's a RISC OS *command "remove" which will delete a file... -- | Darren Salt | linux (or ds) at | nr. Ashington, | woody, sarge, | youmustbejoking | Northumberland | RISC OS | demon co uk | Toon Army | I don't ask for much, just untold riches... Don't patch bad code; rewrite it. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
