lkml.org 
[lkml]   [2007]   [Mar]   [21]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
SubjectRe: Why is /dev on a different filesystem ? [Kernel 2.6.20.3]
Date
"Paul Rolland" <rol@as2917.net> 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@suse.de
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@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/

\
 
 \ /
  Last update: 2007-03-21 22:35    [W:0.050 / U:0.192 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site