On Fri, May 29, 2015 at 7:03 AM, Samuel Thibault <[email protected]> wrote: > Samuel Thibault, le Fri 29 May 2015 10:15:00 +0530, a écrit : >> Gabriele, you said schroot there was missing some changes you proposed >> for proper cleanups, but AFAIK, it has version 1.6.10-1+hurd.1 which >> includes your proposed changes. > > There was still an issue with the /home mount, though. I have thus added > by hand unmounting /home by hand like you added things to umount /proc > by hand, but we really need to have this automatic rather than done by > hand, i.e. to fix whatever needs fixing in procfs or other so that the > changes you proposed to umount /proc by hand becomes unnecessary.
This is the fix update, it just replaces "umount" with "settrans -apg". https://lists.debian.org/debian-hurd/2014/10/msg00007.html It fixes /proc umount, bindmounted by schroot sessions. That makes it remove schroot session correctly. -- G..e -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/CABcaWC22OK*[email protected]
