diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-11-01 22:29:53 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-11-02 09:54:21 +0100 |
| commit | 6394fe650e7246dd0fcfb3f92a1797f7b6f3fcd1 (patch) | |
| tree | 2e977d44b6c65e058c5a594294837cca174a293d | |
| parent | a83adbf681b7f0ce68eaff2b55f17ea5563f66bc (diff) | |
| download | patches-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.scm | 2 |
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)) |