diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-10-29 09:58:17 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-10-29 19:07:57 +0100 |
| commit | 122c3a1d67816c2b193a46487875d363ebe35361 (patch) | |
| tree | e33d298d6c517d7e598f3e1ba923000ad0b048d6 /configure.ac | |
| parent | 69851c59c7445229f798e5ea0ca918989e6772d7 (diff) | |
| download | patches-122c3a1d67816c2b193a46487875d363ebe35361.tar patches-122c3a1d67816c2b193a46487875d363ebe35361.tar.gz | |
system: grub: Let GRUB choose the best graphics mode.
On PCs, it means that it will typically choose resolutions higher
than 640x480, which is nicer.
* gnu/system/grub.scm (eye-candy)[setup-gfxterm-body]: Leave 'gfxmode'
unset.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions