public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #35461 from lheckemann/grub-by-id

Browse Source 
grub module: suggest by-id paths for devices
This commit is contained in:
Jörg Thalheim 2018-02-24 11:30:34 +00:00 committed by GitHub
commit c0b652d6cd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
nixos/modules/system/boot/loader/grub/grub.nix
View File

@ -110,7 +110,7 @@ in
device = mkOption { device = mkOption {
default = ""; default = "";
example = "/dev/hda"; example = "/dev/disk/by-id/wwn-0x500001234567890a";
type = types.str; type = types.str;
description = '' description = ''
The device on which the GRUB boot loader will be installed. The device on which the GRUB boot loader will be installed.
@ -123,7 +123,7 @@ in
devices = mkOption { devices = mkOption {
default = []; default = [];
example = [ "/dev/hda" ]; example = [ "/dev/disk/by-id/wwn-0x500001234567890a" ];
type = types.listOf types.str; type = types.listOf types.str;
description = '' description = ''
The devices on which the boot loader, GRUB, will be The devices on which the boot loader, GRUB, will be
@ -135,8 +135,8 @@ in
mirroredBoots = mkOption { mirroredBoots = mkOption {
default = [ ]; default = [ ];
example = [ example = [
{ path = "/boot1"; devices = [ "/dev/sda" ]; } { path = "/boot1"; devices = [ "/dev/disk/by-id/wwn-0x500001234567890a" ]; }
{ path = "/boot2"; devices = [ "/dev/sdb" ]; } { path = "/boot2"; devices = [ "/dev/disk/by-id/wwn-0x500009876543210a" ]; }
]; ];
description = '' description = ''
Mirror the boot configuration to multiple partitions and install grub Mirror the boot configuration to multiple partitions and install grub
@ -178,7 +178,7 @@ in
devices = mkOption { devices = mkOption {
default = [ ]; default = [ ];
example = [ "/dev/sda" "/dev/sdb" ]; example = [ "/dev/disk/by-id/wwn-0x500001234567890a" "/dev/disk/by-id/wwn-0x500009876543210a" ];
type = types.listOf types.str; type = types.listOf types.str;
description = '' description = ''
The path to the devices which will have the GRUB MBR written. The path to the devices which will have the GRUB MBR written.