Bug#391390: [Pbuilder-maint] Bug#391390: fails to umount /proc if /proc is not mounted

[Junichi Uekawa]

Hi,

> > It is difficult to distinguish between not being able to umount /proc,
> > and /proc not being mounted in the first place, and the bet is done on
> > the safe side of things, since after all those checks have passed,
> > we're going to 'rm -rf' the whole tree, and it is possible for a
> > mounted /proc to have undesired side-effect.
> 
> diamond:~> PID=14692                                                 #[130,303]
> diamond:~> grep -q "pbuilder/build/$PID/proc" /proc/mounts && echo /proc is mounted under pbuilder chroot $PID                             
> /proc is mounted under pbuilder chroot 14692

That doesn't always work.

regards,
	junichi
-- 
dancer@{debian.org,netfort.gr.jp}   Debian Project