also sprach Junichi Uekawa <[EMAIL PROTECTED]> [2006.10.08.1204 +0200]: > 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 -- .''`. martin f. krafft <[EMAIL PROTECTED]> : :' : proud Debian developer, author, administrator, and user `. `'` http://people.debian.org/~madduck - http://debiansystem.info `- Debian - when you have better things to do than fixing systems
signature.asc
Description: Digital signature (GPG/PGP)
