diff options
author | Miguel Ángel Arruga Vivas <rosen644835@gmail.com> | 2019-11-02 18:18:45 +0100 |
---|---|---|
committer | Miguel Ángel Arruga Vivas <rosen644835@gmail.com> | 2020-10-18 15:33:05 +0200 |
commit | cfe9c7eceb00d6975b8d7ba8286ba03f0a7e64b5 (patch) | |
tree | cd4bb7e5d930e8c10f49e1fa8514fd8c0b74399f /tests/pki.scm | |
parent | eaf096398349a484bd23fd829755f7dfaf237ab4 (diff) | |
download | guix-cfe9c7eceb00d6975b8d7ba8286ba03f0a7e64b5.tar.gz guix-cfe9c7eceb00d6975b8d7ba8286ba03f0a7e64b5.zip |
system: Use locale information in grub.cfg.
* gnu/bootloader/grub.scm (define-module): Add new dependency.
(grub-configuration-file): Add locale keyword.
(grub-configuration-file)[locale-config]: New variable with generated
locale configuration when locale parameter has been provided.
[builder]: Add locale-config.
Diffstat (limited to 'tests/pki.scm')
0 files changed, 0 insertions, 0 deletions