Re: Why is /dev on a different filesystem ? [Kernel 2.6.20.3]

[Andreas Schwab]

"Paul Rolland" <rol@xxxxxxxxxx> writes:

> and df -a reports :
> [root@host-181 src]# df -a
> Filesystem           1K-blocks      Used Available Use% Mounted on
> /dev/hda1              7936256   3105556   4421048  42% /
> proc                         0         0         0   -  /proc
> sysfs                        0         0         0   -  /sys
> devpts                       0         0         0   -  /dev/pts
> tmpfs                   517632         0    517632   0% /dev/shm
> /dev/hda5             61787140    237360  58360480   1% /usr/local/witbe
> /dev/hda2              4956316    142292   4558192   4% /var/log
> none                         0         0         0   -
> /proc/sys/fs/binfmt_misc
>
> So, obviously, /dev is on /, but the stat(2) says no.
> Who is right, and where is the bug ?

Try cat /proc/mounts, apparently when /dev was mounted /etc/mtab wasn't
updated appropriately.

Andreas.

-- 
Andreas Schwab, SuSE Labs, schwab@xxxxxxx
SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany
PGP key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/