devfs

[Philippe Monroux <ph.monroux@wanadoo.fr>]

Bonjour,

J'ai un script qui vérifie d'abords si devsfs est monté :

DEVFS='cat /proc/mounts | grep "/dev/" | grep devfs'

Dans mon /proc/mounts il y a :

/dev/root / ext2 rw 0 0
proc /proc proc rw 0 0
devpts /dev/pts devpts rw 0 0
/dev/hda2 /boot ext2 rw 0 0
/dev/hda4 /usr ext2 rw 0 0
/dev/hdc3 /mnt/hdc3 ext2 rw 0 0
/dev/hdc1 /mnt/hdc1 ext2 rw 0 0
/dev/hdc4 /mnt/hdc4 ext2 rw 0 0

Point de devfs et pourtant il me répond :

Hmmm, looks like you have devfs mounted
??

Enfin bref : comment fait-on pour le démonter ce devfs ?

Monroux Philippe

--  
 (   )
  GNU Libre&PuiSSant 
 oNo  |/       |/   \
  U   |        |