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!
This commit is contained in:
Ludovic Courtès 2015-11-01 22:29:53 +01:00
parent a83adbf681
commit 6394fe650e

View file

@ -140,7 +140,7 @@ (define (resize-image image width height)
(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))