Re: devfs

["Sami Dalouche" <skoobi@free.fr>]

Salut,

Déja, pour verifier si devfs est monté, n'est-il pas plus simple de verifier
la présence du
fichier /dev/.devfsd ?

Sinon, pour umounter /dev, et bien /etc/init.d/devfsd stop ne
fonctionne-t-il pas ?

Sam
----- Original Message -----
From: "Philippe Monroux" <ph.monroux@wanadoo.fr>
To: "debian-user-french" <debian-user-french@lists.debian.org>; "gral"
<gral@yahoogroupes.fr>
Sent: Thursday, August 29, 2002 7:07 AM
Subject: devfs


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   |        |


--
To UNSUBSCRIBE, email to debian-user-french-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact
listmaster@lists.debian.org