diff options
author | LuoChen <luochen1990@gmail.com> | 2023-09-08 19:23:53 +0800 |
---|---|---|
committer | LuoChen <luochen1990@gmail.com> | 2023-09-08 19:40:42 +0800 |
commit | 9c5afb2f9acdd7d9eb15b8fe1689cd91af05ed8c (patch) | |
tree | 40b069d7e780a8aa6afda36c2e8f089524a1d685 /nixos/modules/system/boot | |
parent | 2c9e9de1fe101944a20a5c1ac4e7a9ad8c8f8b6f (diff) |
nixos/binfmt: improve type annotations
Diffstat (limited to 'nixos/modules/system/boot')
-rw-r--r-- | nixos/modules/system/boot/binfmt.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixos/modules/system/boot/binfmt.nix b/nixos/modules/system/boot/binfmt.nix index fb7afce4a5808..8c9483f01c102 100644 --- a/nixos/modules/system/boot/binfmt.nix +++ b/nixos/modules/system/boot/binfmt.nix @@ -279,7 +279,7 @@ in { support your new systems. Warning: the builder can execute all emulated systems within the same build, which introduces impurities in the case of cross compilation. ''; - type = types.listOf types.str; + type = types.listOf (types.enum (builtins.attrNames magics)); }; }; }; |