also sprach Bjørn Mork <[email protected]> [2009.05.16.1541 +0200]: > I believe the real problem is that grub-mkconfig doesn't export > GRUB_TERMINAL_INPUT It does set this variable (and > GRUB_TERMINAL_OUTPUT) based on GRUB_TERMINAL but exports only > GRUB_TERMINAL_OUTPUT. The attached patch fixes the problem for me > without any changes to 00_header.
This is obviously the better fix. Thanks! -- .''`. martin f. krafft <[email protected]> Related projects: : :' : proud Debian developer http://debiansystem.info `. `'` http://people.debian.org/~madduck http://vcs-pkg.org `- Debian - when you have better things to do than fixing systems
digital_signature_gpg.asc
Description: Digital signature (see http://martin-krafft.net/gpg/)
