init: open(/dev/pts/0): No such file or directory

[François Patte]

Bonjour,

I find this message in the log:

init: open(/dev/pts/0): No such file or directory

What does it mean and how to correct this?

There is a line:

none   /dev/pts  devpts    gid=5,mode=620   0 0

in /etc/fstab

"cat /proc/mounts" gives:

<snip>
 none /dev/pts devpts rw 0 0
</snip>

"cat /etc/mtab" gives:

<snip>
 none /dev/pts devpts rw,gid=5,mode=620 0 0
</snip>

"l /dev/ptmx"

 crw-rw-rw-  1 root root 5, 2 Sep 14 12:12 /dev/ptmx

Thank you.

--
François Patte

Ecole française d'Extrême-Orient - Pune - Inde
Université René Descartes - Paris 5
UFR de mathématiques et informatique
http://www.math-info.univ-paris5.fr/~patte