Justus Winter, le Thu 19 Sep 2013 10:14:23 +0200, a écrit : > Quoting Samuel Thibault (2013-09-19 02:11:21) > > /proc is not mounted any more after Debian GNU/Hurd installation. This > > happens because grub-installer does > > > > if ! umount $ROOT/proc; then > > Uh, why would it do that? Doesn't that make Linux' userland unhappy > too? No, that's right at the end of the installation. Samuel