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 /gnu | |
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 'gnu')
-rw-r--r-- | gnu/system/grub.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm index e0717cc59b..4c21851cb6 100644 --- a/gnu/system/grub.scm +++ b/gnu/system/grub.scm @@ -163,7 +163,7 @@ all that." ;; to be switched. (if (string-match "^(x86_64|i[3-6]86)-" system) " - set gfxmode=640x480 + # Leave 'gfxmode' to 'auto'. insmod vbe insmod vga insmod video_bochs |