diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-11-08 15:07:18 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-11-08 15:10:42 +0100 |
| commit | 99ae9ceb18fe5cf37878e68d2f25df31b3becd69 (patch) | |
| tree | e7166b23221a08ff2a37ee2b63ca472c8f7aa29f /gnu/services | |
| parent | 810568b35f7e5a15f3c4420eee1163fe5274cf2c (diff) | |
| download | patches-99ae9ceb18fe5cf37878e68d2f25df31b3becd69.tar patches-99ae9ceb18fe5cf37878e68d2f25df31b3becd69.tar.gz | |
system: grub: Add preliminary support for themes.
* gnu/system/grub.scm (<grub-image>, <grub-theme>): New record types.
(%artwork-repository, %background-image): New variables.
(<grub-configuration>)[theme]: New field.
(svg->png, resize-image, grub-background-image, eye-candy): New
procedures.
(grub-configuration-file): Use 'eye-candy' and add it in BUILDER.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions