Processed: Re: Bug#704931: chroot_cleanup should not unmount /proc

2013-04-07 Thread Debian Bug Tracking System
Processing control commands: > severity -1 normal Bug #704931 [src:debian-installer-utils] chroot_cleanup should not unmount /proc Severity set to 'normal' from 'serious' -- 704931: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=704931 Debian Bug Tracking System Contact ow...@bugs.debian.org w

Bug#704931: chroot_cleanup should not unmount /proc

2013-04-07 Thread Cyril Brulebois
Control: severity -1 normal martin f krafft (07/04/2013): > Package: src:debian-installer-utils > Severity: serious > > For a reason unknown to me, helpers like in-target and apt-install, > by way of chroot_setup and chroot_cleanup, might actually cause > /target/proc to be unmounted. This then

Bug#704931: chroot_cleanup should not unmount /proc

2013-04-07 Thread martin f krafft
Package: src:debian-installer-utils Severity: serious For a reason unknown to me, helpers like in-target and apt-install, by way of chroot_setup and chroot_cleanup, might actually cause /target/proc to be unmounted. This then breaks grub-install. Arguably, commit 795bfde of grub-installer hacks ar