Am 04.06.2010 20:42, schrieb Thomas Bächler:
Am 04.06.2010 19:48, schrieb Roman Kyrylych:
2) /dev/null does not exist at that time (if I understand correctly), so if grep prints something to stderr - it will create a /dev/null file (not sure if it is an issue though).
Well ... this is a corner-case, but it might not exist (in a common setup, it will exist). I'll fix that - we don't really need the 2>/dev/null anyway.
I looked into it, and there is no problem. If /dev is not a separate file system, then the /dev directory on your root device is being used: # mount --bind / /mnt/other # ls -alhF /mnt/other/dev/ total 8.0K drwxr-xr-x 2 root root 4.0K Mar 9 22:27 ./ drwxr-xr-x 21 root root 4.0K May 29 15:50 ../ crw------- 1 root root 5, 1 Mar 9 22:27 console crw-r--r-- 1 root root 1, 3 Mar 9 22:27 null crw-r--r-- 1 root root 1, 5 Mar 9 22:27 zero # umount /mnt/other