system: grub: Use a bigger background image.

* gnu/system/grub.scm (grub-background-image): Increase the default
  values of WIDTH and HEIGHT.  After all, it's 2015 already!

diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm
index 4c21851..5b82482 100644 (file)
--- a/gnu/system/grub.scm
+++ b/gnu/system/grub.scm
@@ -140,7 +140,7 @@
                          (system* (string-append #$imagemagick "/bin/convert")
                                   "-resize" #$size #$image #$output)))))
 
-(define* (grub-background-image config #:key (width 640) (height 480))
+(define* (grub-background-image config #:key (width 1024) (height 768))
   "Return the GRUB background image defined in CONFIG with a ratio of
 WIDTH/HEIGHT, or #f if none was found."
   (let* ((ratio (/ width height))