[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Debian hurd porter boxes

On Fri, May 29, 2015 at 7:03 AM, Samuel Thibault <sthibault@debian.org> 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".


It fixes /proc umount, bindmounted by schroot sessions. That makes it
remove schroot session correctly.


Reply to: