On Sun, Mar 13, 2016 at 09:19:14PM +0100, Ian D. Leroux wrote: > maintains the current behaviour. Those who run /dev-on-tmpfs can > instead set it to something like "/var/shm /tmp", or set it to the > empty string, to avoid the untimely disappearence of /dev.
This is all good for "planned" instances of /dev on tmpfs, but since this is also done automagically by init when /dev/console has gone missing, I wonder if it would be better to just check for /dev as mountpoint explicitly and skip that tmpfs. Or run a find for device nodes (which should be very quick) on each tmpfs before unmounting it? But maybe the manual solution is the best (less magic). Martin
