Infinidoge/universe
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

WIP: Infini-RASPBERRY: improve config

Browse source
This commit is contained in:
Infinidoge 2024-06-23 21:33:02 +00:00
parent c50c9710f0
commit a2adaa5182
Signed by: Infinidoge
SSH key fingerprint: SHA256:oAMyvotlNFraMmZmr+p6AxnNfW/GioTs1pOn3V4tQ7A
3 changed files with 75 additions and 68 deletions
Download patch file Download diff file Expand all files Collapse all files

3
modules/modules/boot.nix
View file

@ -14,13 +14,14 @@ in
efiSysMountPoint = mkOpt path "/boot/efi";
};
systemd-boot.enable = mkBoolOpt false;
ignore = mkBoolOpt false;
};
config = mkMerge [
{
assertions = [
{
assertion = (count (v: v) [ cfg.grub.enable cfg.systemd-boot.enable config.wsl.enable ]) == 1;
assertion = (count (v: v) [ cfg.grub.enable cfg.systemd-boot.enable config.wsl.enable cfg.ignore ]) == 1;
message = "Must enable one and only one bootloader";
}
];