From aef9a509db64a081186af2dc185654d78dc8e344 Mon Sep 17 00:00:00 2001
From: r-vdp <ramses@well-founded.dev>
Date: Wed, 3 Jan 2024 14:51:48 +0100
Subject: [PATCH] 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
---
 lib/types/gpt.nix | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/lib/types/gpt.nix b/lib/types/gpt.nix
index c087954..6a63e7b 100644
--- a/lib/types/gpt.nix
+++ b/lib/types/gpt.nix
@@ -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 {