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.

diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm
index e0717cc..4c21851 100644 (file)
--- 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