Re: Debian hurd porter boxes
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.