# Running system:

# NAME        MAJ:MIN RM   SIZE RO TYPE MOUNTPOINTS
# nvme0n1     259:0    0 465,8G  0 disk 
# ├─nvme0n1p1 259:1    0   512M  0 part /boot
# ├─nvme0n1p2 259:2    0 456,5G  0 part /nix/store
# │                                     /
# └─nvme0n1p3 259:3    0   8,8G  0 part [SWAP]

# Filesystem     1K-blocks     Used Available Use% Mounted on
# devtmpfs          809892        0    809892   0% /dev
# tmpfs            8098920        0   8098920   0% /dev/shm
# tmpfs            4049460     3988   4045472   1% /run
# tmpfs            8098920      456   8098464   1% /run/wrappers
# /dev/nvme0n1p2 469995160 17597168 428450100   4% /
# /dev/nvme0n1p1    523248   119660    403588  23% /boot
# tmpfs            1619784        0   1619784   0% /run/user/0

# Disk name: nvme0n1
# disko template: simple-efi
# https://raw.githubusercontent.com/nix-community/disko/master/example/simple-efi.nix

{
  disko.devices = {
    disk = {
      vdb = {
        device = "/dev/nvme0n1";
        type = "disk";
        content = {
          type = "gpt";
          partitions = {
            ESP = {
              type = "EF00";
              size = "500M";
              content = {
                type = "filesystem";
                format = "vfat";
                mountpoint = "/boot";
              };
            };
            root = {
              size = "100%";
              content = {
                type = "filesystem";
                format = "ext4";
                mountpoint = "/";
              };
            };
          };
        };
      };
    };
  };
}