aboutsummaryrefslogtreecommitdiff
path: root/gnu/system
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2015-10-29 09:58:17 +0100
committerLudovic Courtès <ludo@gnu.org>2015-10-29 19:07:57 +0100
commit122c3a1d67816c2b193a46487875d363ebe35361 (patch)
treee33d298d6c517d7e598f3e1ba923000ad0b048d6 /gnu/system
parent69851c59c7445229f798e5ea0ca918989e6772d7 (diff)
downloadpatches-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/system')
-rw-r--r--gnu/system/grub.scm2
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