diff options
| author | Miguel Ángel Arruga Vivas <rosen644835@gmail.com> | 2020-10-24 20:36:21 +0200 |
|---|---|---|
| committer | Miguel Ángel Arruga Vivas <rosen644835@gmail.com> | 2020-11-01 01:14:36 +0100 |
| commit | f445bc65764ffad2ae9f3b382ddb8feb4eeea2fb (patch) | |
| tree | 652933e0c5890e3e1a0ddd586b5611c5e42bb6e9 /.dir-locals.el | |
| parent | 70876b0793765b882f3fae3d8465b68b38e1eeb8 (diff) | |
| download | guix-patches-f445bc65764ffad2ae9f3b382ddb8feb4eeea2fb.tar guix-patches-f445bc65764ffad2ae9f3b382ddb8feb4eeea2fb.tar.gz | |
system: Generate grub locale directory for grub.cfg.
* gnu/bootloader/grub.scm (grub-locale-directory): New function.
(grub-configuration-file)[locale-config]: Use grub-locale-directory and
avoid the extra search when eye-candy have performed it.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions