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
