diff options
author | Stefan <stefan-guix@vodafonemail.de> | 2020-12-28 12:24:16 +0100 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2021-01-17 15:47:59 +0100 |
commit | b57056a9fd83c61efb5343853948a798da6e975e (patch) | |
tree | 7457147d8329e9f6b1d701b6d7f69c10aeb87f6f /gnu/services | |
parent | 06ab89486715a0817aa355186b16958a93626dcc (diff) |
gnu: grub: Use installed unicode font.
* gnu/bootloader/grub.scm (setup-gfxterm): Remove parameter font-file.
Refer to the installed font in /boot, not in the store.
(font-file): Delete obsolete function.
(install-grub): When populating a disk-image, install the unicode font, too.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions