Your message dated Mon, 23 Mar 2015 15:29:20 +0000 with message-id <[email protected]> and subject line Re: Bug#735962: GRUB_CRYPTODISK_ENABLE should be GRUB_ENABLE_CRYPTODISK has caused the Debian Bug report #735962, regarding GRUB_CRYPTODISK_ENABLE should be GRUB_ENABLE_CRYPTODISK to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 735962: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=735962 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: src:grub2 Version: 2.00-22 Severity: important Tags: patch upstream Dear Debian folks, I know you are aware of the bug already, but it is only tracked in Launchpad [1], so I’ll submit it to the Debian report too, so it is tracked properly. The official option name for `/etc/default/grub` is `GRUB_ENABLE_CRYPTODISK` so the names should be corrected in `/usr/lib/grub/grub-mkconfig_lib`. $ grep -R CRYPTODISK_ENABLE /usr/lib/grub/ /usr/lib/grub/grub-mkconfig_lib: if [ x$GRUB_CRYPTODISK_ENABLE = xy ]; then /usr/lib/grub/grub-mkconfig_lib: if [ x$GRUB_CRYPTODISK_ENABLE = xy ]; then Otherwise `grub-install` fails. It would be great if that could be fixed in the next upload. I think this bug report is unrelated to #695410 [2], so I submitted a new one. Thanks, Paul [1] https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1232237 [2] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=695410
signature.asc
Description: This is a digitally signed message part
--- End Message ---
--- Begin Message ---Source: grub2 Source-Version: 2.00+20131208-1 On Sun, Jan 19, 2014 at 12:05:04AM +0100, Paul Menzel wrote: > I know you are aware of the bug already, but it is only tracked in > Launchpad [1], so I’ll submit it to the Debian report too, so it is > tracked properly. > > The official option name for `/etc/default/grub` is > `GRUB_ENABLE_CRYPTODISK` so the names should be corrected in > `/usr/lib/grub/grub-mkconfig_lib`. > > > $ grep -R CRYPTODISK_ENABLE /usr/lib/grub/ > /usr/lib/grub/grub-mkconfig_lib: if [ x$GRUB_CRYPTODISK_ENABLE = xy > ]; then > /usr/lib/grub/grub-mkconfig_lib: if [ x$GRUB_CRYPTODISK_ENABLE = xy > ]; then > > Otherwise `grub-install` fails. It would be great if that could be fixed > in the next upload. I fixed this in 2.00+20131208-1; jessie has had newer versions for quite some time now. Thanks, -- Colin Watson [[email protected]]
--- End Message ---
