hi all, Im attempting to use disko to replicate the partitioning and formatting steps as described by the nixos manual

this is what I have so far

{ device ? throw, …}: {
  disko.devices = {
    disk = {
      main = {
        inherit device;
        type = “disk”;
        content = {
          type = “gpt”;
          partitions = {
            root = {
              start = “512MiB”;
              end = “-16GiB”;
              content = {
                type = “filesystem”;
                format = “ext4”;
                mountpoint = “/“;
              };
            };
            swap = {
              start = “-16GiB”;
              end = “100%”;
              content = {
                type = “swap”;
                resumeDevice = true;
              };
            };
            ESP = {
              type = “EF00”;
              start = “1MiB”;
              end = “512MiB”;
              content = {
                type = “filesystem”;
                format = “vfat”;
                mountpoint = “/boot”;
                mountOptions = [ “umask=0077” ];
              };
            };
          };
        };
      };
    };
  };
}

sorry for any typos, Im literally having to copy this from the tty

evidently, the above did not work with nix —experimental-features “nix-command flakes” run github:nix-community/disko/latest — —mode destroy,format,mount ./modules/disko-config.nix —arg device ‘“/dev/nvme1n1”’

I got an error that I will try to get word-for-word here (I cant quite yet get it, because I cant scroll in tty and havent used a pager yet)

but the error was related to “cannot create name disk-main-root”, and then “cannot set code 8300”

i’ve also tried adding name = “root” under root = {, but that also did not solve

for some reason, disko is running sgdisk with the flag —change-name=2:disk-main-root instead of the appropriate name that I’m trying to specify by adding name = “root”

so, concretely, I need to use a label = “…”; for each partition.

also, how does my ESP partition overflow into my other partitions? the only way that I can think of is if end = is inclusive (rather than exclusive), which would be weird.

so you’re saying that both start= and end= are inclusive?