From 122c3a1d67816c2b193a46487875d363ebe35361 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Thu, 29 Oct 2015 09:58:17 +0100
Subject: [PATCH] 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.
---
 gnu/system/grub.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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