Merge pull request #217 from leon-erd/master

Nix: fix extension of splashImage
This commit is contained in:
Vince 2024-04-12 01:41:04 +08:00 committed by GitHub
commit 8ddd471937
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -139,13 +139,10 @@
grub2-theme grub2-theme
]; ];
boot.loader.grub = boot.loader.grub =
let
ext = if cfg.splashImage == null then "jpg" else last (splitString "." cfg.splashImage);
in
{ {
theme = "${grub2-theme}/grub/themes/${cfg.theme}"; theme = "${grub2-theme}/grub/themes/${cfg.theme}";
splashImage = splashImage =
"${grub2-theme}/grub/themes/${cfg.theme}/background.${ext}"; "${grub2-theme}/grub/themes/${cfg.theme}/background.jpg";
gfxmodeEfi = "${resolution},auto"; gfxmodeEfi = "${resolution},auto";
gfxmodeBios = "${resolution},auto"; gfxmodeBios = "${resolution},auto";
extraConfig = '' extraConfig = ''