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
--
[EMAIL PROTECTED],netfort.gr.jp} Debian Project
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
