There is no splashy or any other shmfs on my system so that is not the
cause.
What is strange that /etc/init.d/mountdevsubfs.sh which should mount
those, does nothing when called, even if manual mount /dev/pts succeeds.
I think when I tried to see why, the code
if mountpoint -q "$MTPT"
then
return # Already mounted
fi
would return from /lib/init/mount-functions.sh and thus not do anything,
although the directory exists and the two filesystems are not mounted.
Probably some permissions are wrong?
As I have said earlier, this behaviour was introduced by udev 137 or 136
and everything worked if I downgraded to the version from intrepid
(124-something), not touching any other packages.
--
/dev/pts and /dev/shm not mounted on boot
https://bugs.launchpad.net/bugs/321927
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
