summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2015-11-01 22:29:53 +0100
committerLudovic Courtès <ludo@gnu.org>2015-11-02 09:54:21 +0100
commit6394fe650e7246dd0fcfb3f92a1797f7b6f3fcd1 (patch)
tree2e977d44b6c65e058c5a594294837cca174a293d
parenta83adbf681b7f0ce68eaff2b55f17ea5563f66bc (diff)
downloadpatches-6394fe650e7246dd0fcfb3f92a1797f7b6f3fcd1.tar
patches-6394fe650e7246dd0fcfb3f92a1797f7b6f3fcd1.tar.gz
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!
-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 4c21851cb6..5b824820b1 100644
--- 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))