On Jun 14, Ferenc Wagner <wferi@niif.hu> wrote: > Michael Prokop <mika@debian.org> writes: > > Though AFAICS udev unmounts /dev/pts via /etc/init.d/udev anyway > > (stating "we need to unmount /dev/pts/ and remount it later over the > > tmpfs"). Should we ask the udev maintainer about it this issue as > > well? It's not really hard to check the init script. /dev/pts/ and /dev/shm/ are mounted by /etc/init.d/mountkernfs.sh . Send patches to the initscripts maintainer. -- ciao, Marco
Attachment:
signature.asc
Description: Digital signature