Bug#917139: Do not ignore unmounting of "/run/mount" and "/run/media" in "/etc/init.d/umountfs"

[Dmitry Bogatov]

[2018-12-24 18:23] Adam Sampson <ats at offog.org>
> Dmitry Bogatov <KAction at debian.org> writes:
> 
> > Below I propose prelimitary patch:
> [...]
> > -		  /|/usr|/proc|/dev|/.dev|/dev/pts|/dev/shm|/dev/.static/dev|/proc/*|/sys|/sys/*|/run|/run/*|/de
> v/vcs)
> > +		  /|/usr|/proc|/dev|/.dev|/dev/pts|/dev/shm|/dev/.static/dev|/proc/*|/sys|/sys/*|/run|/run/lock|
> /run/shm|/run/rpc_pipefs/dev/vcs)

Yes, sure. Nice catch.

But it seems that we will go another route, checking whether mountpoint
is backed by block device.