diff options
author | Jörg Thalheim <joerg@thalheim.io> | 2021-01-10 14:09:07 +0100 |
---|---|---|
committer | Jörg Thalheim <joerg@thalheim.io> | 2021-01-10 21:13:59 +0100 |
commit | ceda1a5eee7d95f9a5edde70d260d625093972bb (patch) | |
tree | 11c69eb62deddc4f318558d634f331d109c3ce24 /nixos/modules/system/boot/loader/systemd-boot/systemd-boot.nix | |
parent | 2cfa110ae83185c75750a584b5dd1bedeffd79b8 (diff) | |
download | nixpkgs-ceda1a5eee7d95f9a5edde70d260d625093972bb.tar nixpkgs-ceda1a5eee7d95f9a5edde70d260d625093972bb.tar.gz nixpkgs-ceda1a5eee7d95f9a5edde70d260d625093972bb.tar.bz2 nixpkgs-ceda1a5eee7d95f9a5edde70d260d625093972bb.tar.lz nixpkgs-ceda1a5eee7d95f9a5edde70d260d625093972bb.tar.xz nixpkgs-ceda1a5eee7d95f9a5edde70d260d625093972bb.tar.zst nixpkgs-ceda1a5eee7d95f9a5edde70d260d625093972bb.zip |
nixos/systemd-boot: add typechecking
Diffstat (limited to 'nixos/modules/system/boot/loader/systemd-boot/systemd-boot.nix')
-rw-r--r-- | nixos/modules/system/boot/loader/systemd-boot/systemd-boot.nix | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/nixos/modules/system/boot/loader/systemd-boot/systemd-boot.nix b/nixos/modules/system/boot/loader/systemd-boot/systemd-boot.nix index f0bd76a3c1d..ff304f570d3 100644 --- a/nixos/modules/system/boot/loader/systemd-boot/systemd-boot.nix +++ b/nixos/modules/system/boot/loader/systemd-boot/systemd-boot.nix @@ -7,7 +7,7 @@ let efi = config.boot.loader.efi; - gummibootBuilder = pkgs.substituteAll { + systemdBootBuilder = pkgs.substituteAll { src = ./systemd-boot-builder.py; isExecutable = true; @@ -30,6 +30,17 @@ let memtest86 = if cfg.memtest86.enable then pkgs.memtest86-efi else ""; }; + + checkedSystemdBootBuilder = pkgs.runCommand "systemd-boot" { + nativeBuildInputs = [ pkgs.mypy ]; + } '' + install -m755 ${systemdBootBuilder} $out + mypy \ + --no-implicit-optional \ + --disallow-untyped-calls \ + --disallow-untyped-defs \ + $out + ''; in { imports = @@ -131,7 +142,7 @@ in { boot.loader.supportsInitrdSecrets = true; system = { - build.installBootLoader = gummibootBuilder; + build.installBootLoader = checkedSystemdBootBuilder; boot.loader.id = "systemd-boot"; |