diff options
author | Eric Sagnes <eric.sagnes@gmail.com> | 2016-09-11 18:51:48 +0900 |
---|---|---|
committer | Eric Sagnes <eric.sagnes@gmail.com> | 2016-09-13 12:53:12 +0900 |
commit | 55e437806a2875d1f588ebadafaf66ff0d1d9b22 (patch) | |
tree | 37e057a05e281e2a6bcc627cbd4024cf69858c14 /nixos/modules/system | |
parent | 03ee88f666ce32755eae06a2377de6a7810cd2ac (diff) | |
download | nixpkgs-55e437806a2875d1f588ebadafaf66ff0d1d9b22.tar nixpkgs-55e437806a2875d1f588ebadafaf66ff0d1d9b22.tar.gz nixpkgs-55e437806a2875d1f588ebadafaf66ff0d1d9b22.tar.bz2 nixpkgs-55e437806a2875d1f588ebadafaf66ff0d1d9b22.tar.lz nixpkgs-55e437806a2875d1f588ebadafaf66ff0d1d9b22.tar.xz nixpkgs-55e437806a2875d1f588ebadafaf66ff0d1d9b22.tar.zst nixpkgs-55e437806a2875d1f588ebadafaf66ff0d1d9b22.zip |
grub module: optionSet -> submodule
Diffstat (limited to 'nixos/modules/system')
-rw-r--r-- | nixos/modules/system/boot/loader/grub/grub.nix | 86 |
1 files changed, 43 insertions, 43 deletions
diff --git a/nixos/modules/system/boot/loader/grub/grub.nix b/nixos/modules/system/boot/loader/grub/grub.nix index 61c34cc2f03..e7b98a9f850 100644 --- a/nixos/modules/system/boot/loader/grub/grub.nix +++ b/nixos/modules/system/boot/loader/grub/grub.nix @@ -131,51 +131,51 @@ in to the respective devices corresponding to those partitions. ''; - type = types.listOf types.optionSet; + type = with types; listOf (submodule { + options = { + + path = mkOption { + example = "/boot1"; + type = types.str; + description = '' + The path to the boot directory where GRUB will be written. Generally + this boot path should double as an EFI path. + ''; + }; + + efiSysMountPoint = mkOption { + default = null; + example = "/boot1/efi"; + type = types.nullOr types.str; + description = '' + The path to the efi system mount point. Usually this is the same + partition as the above path and can be left as null. + ''; + }; + + efiBootloaderId = mkOption { + default = null; + example = "NixOS-fsid"; + type = types.nullOr types.str; + description = '' + The id of the bootloader to store in efi nvram. + The default is to name it NixOS and append the path or efiSysMountPoint. + This is only used if <literal>boot.loader.efi.canTouchEfiVariables</literal> is true. + ''; + }; + + devices = mkOption { + default = [ ]; + example = [ "/dev/sda" "/dev/sdb" ]; + type = types.listOf types.str; + description = '' + The path to the devices which will have the GRUB MBR written. + Note these are typically device paths and not paths to partitions. + ''; + }; - options = { - - path = mkOption { - example = "/boot1"; - type = types.str; - description = '' - The path to the boot directory where GRUB will be written. Generally - this boot path should double as an EFI path. - ''; - }; - - efiSysMountPoint = mkOption { - default = null; - example = "/boot1/efi"; - type = types.nullOr types.str; - description = '' - The path to the efi system mount point. Usually this is the same - partition as the above path and can be left as null. - ''; - }; - - efiBootloaderId = mkOption { - default = null; - example = "NixOS-fsid"; - type = types.nullOr types.str; - description = '' - The id of the bootloader to store in efi nvram. - The default is to name it NixOS and append the path or efiSysMountPoint. - This is only used if <literal>boot.loader.efi.canTouchEfiVariables</literal> is true. - ''; }; - - devices = mkOption { - default = [ ]; - example = [ "/dev/sda" "/dev/sdb" ]; - type = types.listOf types.str; - description = '' - The path to the devices which will have the GRUB MBR written. - Note these are typically device paths and not paths to partitions. - ''; - }; - - }; + }); }; configurationName = mkOption { |