At Wed, 4 Jun 2003 19:22:32 +0200, Alexander Koch wrote: > On Mon, 2 June 2003 18:33:22 +0900, GOTO Masanori wrote: > > You can get the (a bit old) 2.3.2 version at: > > > > http://people.debian.org/~gotom/2.3.2-1/ > > > > I update this version later, but this version works fine for your > > kernel. > > I have installed these packages for my box at home and did > not care much and just now rebooted. Effectively nothing did > change, also /etc/init.d/devpts.sh is still from April 20th, > and I have to manually mount devpts again. > > I have not checked further, but then, where else would that > automatic mounting of devpts take place?
Hmm, I would like to investigate, so could you tell me your /proc/filesystems and /proc/mounts ? Regards, -- gotom
