Re: [PATCH] control which tmpfs get unmounted at swapoff

[Martin Husemann <martin%duskware.de@localhost>]

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