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

From: Valdis . Kletnieks
Date: Wed Mar 21 2007 - 15:20:38 EST


On Wed, 21 Mar 2007 20:13:50 BST, Paul Rolland said:
>
> So, obviously, tar is right...
> man 2 stat says :
> The st_dev field describes the device on which this file resides.
>
> and df -a reports :
> [root@host-181 src]# df -a
> Filesystem 1K-blocks Used Available Use% Mounted on
> /dev/hda1 7936256 3105556 4421048 42% /

> So, obviously, /dev is on /, but the stat(2) says no.
> Who is right, and where is the bug ?

Might want to 'cat /proc/mounts', and ponder the fact that a filesystem
can be mounted and not listed in /etc/mtab, and then see if your system
has 'udev' installed and enabled.

Attachment: pgp00000.pgp
Description: PGP signature