diff options
| author | Joachim Fasting <joachifm@fastmail.fm> | 2015-02-23 18:00:21 +0100 |
|---|---|---|
| committer | Joachim Fasting <joachifm@fastmail.fm> | 2015-02-28 09:19:23 +0100 |
| commit | d375550ead7d6833e24dc7e6f074f7463cec7033 (patch) | |
| tree | 6a42abf8dd7aa4e13559158d4b725eb7c3315ae3 /nixos/modules/system | |
| parent | bd81885f706dae5cdeb8c03845fa43d8b74fa57c (diff) | |
| download | nixlib-d375550ead7d6833e24dc7e6f074f7463cec7033.tar nixlib-d375550ead7d6833e24dc7e6f074f7463cec7033.tar.gz nixlib-d375550ead7d6833e24dc7e6f074f7463cec7033.tar.bz2 nixlib-d375550ead7d6833e24dc7e6f074f7463cec7033.tar.lz nixlib-d375550ead7d6833e24dc7e6f074f7463cec7033.tar.xz nixlib-d375550ead7d6833e24dc7e6f074f7463cec7033.tar.zst nixlib-d375550ead7d6833e24dc7e6f074f7463cec7033.zip | |
nixos: add a few missing type specifiers under boot.*
Diffstat (limited to 'nixos/modules/system')
4 files changed, 5 insertions, 0 deletions
diff --git a/nixos/modules/system/boot/loader/generations-dir/generations-dir.nix b/nixos/modules/system/boot/loader/generations-dir/generations-dir.nix index 4b5e84f53c1a..6153578612c1 100644 --- a/nixos/modules/system/boot/loader/generations-dir/generations-dir.nix +++ b/nixos/modules/system/boot/loader/generations-dir/generations-dir.nix @@ -24,6 +24,7 @@ in enable = mkOption { default = false; + type = types.bool; description = '' Whether to create symlinks to the system generations under <literal>/boot</literal>. When enabled, @@ -42,6 +43,7 @@ in copyKernels = mkOption { default = false; + type = types.bool; description = " Whether copy the necessary boot files into /boot, so /nix/store is not needed by the boot loader. diff --git a/nixos/modules/system/boot/loader/grub/grub.nix b/nixos/modules/system/boot/loader/grub/grub.nix index a166709d39a3..585c8854feec 100644 --- a/nixos/modules/system/boot/loader/grub/grub.nix +++ b/nixos/modules/system/boot/loader/grub/grub.nix @@ -179,6 +179,7 @@ in }; splashImage = mkOption { + type = types.nullOr types.path; example = literalExample "./my-background.png"; description = '' Background image used for GRUB. It must be a 640x480, diff --git a/nixos/modules/system/boot/loader/init-script/init-script.nix b/nixos/modules/system/boot/loader/init-script/init-script.nix index 3b33d42b4ae4..374d9524ff1e 100644 --- a/nixos/modules/system/boot/loader/init-script/init-script.nix +++ b/nixos/modules/system/boot/loader/init-script/init-script.nix @@ -23,6 +23,7 @@ in enable = mkOption { default = false; + type = types.bool; description = '' Some systems require a /sbin/init script which is started. Or having it makes starting NixOS easier. diff --git a/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix b/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix index d3f32418a64c..1ea3ddd8867c 100644 --- a/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix +++ b/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix @@ -21,6 +21,7 @@ in boot.loader.raspberryPi.enable = mkOption { default = false; + type = types.bool; description = '' Whether to create files with the system generations in <literal>/boot</literal>. |