On Sat, 12 Feb 2005, Ingo Saitz wrote: > Just thought there may be a better place to put it: /dev/.dev > It just takes some more fiddling to mount it there: > > # mount the old /dev to /dev/.dev > # since /dev is hidden, I need to bind mount / somwhere else first > mkdir /dev/.dev /dev/.tmp > mount --bind / /dev/.tmp > mount --bind /dev/.tmp/dev /dev/.dev > # now I can remove /dev/.tmp > umount /dev/.tmp > rmdir /dev/.tmp
If the above works not due to a kernel bug, but due to how things should really work, it is quite a good idea. /dev/.dev IS a better place for the old /dev directory IMHO. -- "One disk to rule them all, One disk to find them. One disk to bring them all and in the darkness grind them. In the Land of Redmond where the shadows lie." -- The Silicon Valley Tarot Henrique Holschuh -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
