[lkml]   [2007]   [Mar]   [21]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRE: Why is /dev on a different filesystem ? [Kernel]
> 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.

Damn ! You're right :
cat /proc/mounts | grep dev
none /dev tmpfs rw 0 0

and no, I don't have any udev running, still can't stand it ;)

Thx for the pointer, I was too much trusting df :(


To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
More majordomo info at
Please read the FAQ at

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