Bug#917139: Do not ignore unmounting of "/run/mount" and "/run/media" in "/etc/init.d/umountfs"
Dmitry Bogatov
KAction at debian.org
Wed Dec 26 15:21:47 GMT 2018
[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.
More information about the Debian-init-diversity
mailing list