nixos: add a few missing type specifiers under boot.*

Changed files
+6
nixos
modules
system
boot
loader
generations-dir
grub
init-script
raspberrypi
tasks
+2
nixos/modules/system/boot/loader/generations-dir/generations-dir.nix
···
enable = mkOption {
default = false;
+
type = types.bool;
description = ''
Whether to create symlinks to the system generations under
<literal>/boot</literal>. When enabled,
···
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.
+1
nixos/modules/system/boot/loader/grub/grub.nix
···
};
splashImage = mkOption {
+
type = types.nullOr types.path;
example = literalExample "./my-background.png";
description = ''
Background image used for GRUB. It must be a 640x480,
+1
nixos/modules/system/boot/loader/init-script/init-script.nix
···
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.
+1
nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix
···
boot.loader.raspberryPi.enable = mkOption {
default = false;
+
type = types.bool;
description = ''
Whether to create files with the system generations in
<literal>/boot</literal>.
+1
nixos/modules/tasks/kbd.nix
···
# FIXME: still needed?
boot.extraTTYs = mkOption {
default = [];
+
type = types.listOf types.string;
example = ["tty8" "tty9"];
description = ''
Tty (virtual console) devices, in addition to the consoles on