mirror of
https://github.com/nix-community/disko.git
synced 2024-09-19 02:27:27 +03:00
lib/types/gpt: accept GUID type to set the partition type
See [the wikipedia article on GUID types][wiki_guid] and the sgdisk man page on `--typecode`. [wiki_guid]: https://en.wikipedia.org/wiki/GUID_Partition_Table#Partition_type_GUIDs
This commit is contained in:
parent
59f915b45a
commit
aef9a509db
@ -18,9 +18,19 @@ in
|
||||
type = lib.types.attrsOf (lib.types.submodule ({ name, ... }@partition: {
|
||||
options = {
|
||||
type = lib.mkOption {
|
||||
type = lib.types.strMatching "[A-Fa-f0-9]{4}";
|
||||
type =
|
||||
let
|
||||
hexPattern = len: "[A-Fa-f0-9]{${toString len}}";
|
||||
in
|
||||
lib.types.either
|
||||
(lib.types.strMatching (hexPattern 4))
|
||||
(lib.types.strMatching (lib.concatMapStringsSep "-" hexPattern [ 8 4 4 4 12 ]));
|
||||
default = "8300";
|
||||
description = "Filesystem type to use, run sgdisk -L to see what is available";
|
||||
description = ''
|
||||
Filesystem type to use.
|
||||
This can either be an sgdisk-specific short code (run sgdisk -L to see what is available),
|
||||
or a fully specified GUID (see https://en.wikipedia.org/wiki/GUID_Partition_Table#Partition_type_GUIDs).
|
||||
'';
|
||||
};
|
||||
device = lib.mkOption {
|
||||
type = lib.types.str;
|
||||
@ -76,7 +86,7 @@ in
|
||||
};
|
||||
};
|
||||
}));
|
||||
default = {};
|
||||
default = { };
|
||||
description = "Attrs of partitions to add to the partition table";
|
||||
};
|
||||
_parent = lib.mkOption {
|
||||
|
Loading…
Reference in New Issue
Block a user