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 /gnu/system | |
| parent | a83adbf681b7f0ce68eaff2b55f17ea5563f66bc (diff) | |
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!
Diffstat (limited to 'gnu/system')
| -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 4c21851cb6b..5b824820b17 100644 --- a/gnu/system/grub.scm +++ b/gnu/system/grub.scm | |||
| @@ -140,7 +140,7 @@ | |||
| 140 | (system* (string-append #$imagemagick "/bin/convert") | 140 | (system* (string-append #$imagemagick "/bin/convert") |
| 141 | "-resize" #$size #$image #$output))))) | 141 | "-resize" #$size #$image #$output))))) |
| 142 | 142 | ||
| 143 | (define* (grub-background-image config #:key (width 640) (height 480)) | 143 | (define* (grub-background-image config #:key (width 1024) (height 768)) |
| 144 | "Return the GRUB background image defined in CONFIG with a ratio of | 144 | "Return the GRUB background image defined in CONFIG with a ratio of |
| 145 | WIDTH/HEIGHT, or #f if none was found." | 145 | WIDTH/HEIGHT, or #f if none was found." |
| 146 | (let* ((ratio (/ width height)) | 146 | (let* ((ratio (/ width height)) |