"Paul Rolland" <[EMAIL PROTECTED]> writes: > and df -a reports : > [EMAIL PROTECTED] 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, [EMAIL PROTECTED] 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 [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
