No description
  • Nix 92.6%
  • Emacs Lisp 6.3%
  • Shell 1.1%
Find a file
2026-05-18 16:58:47 +00:00
.forgejo/workflows Label steps in actions better 2026-05-18 15:15:55 +02:00
machines Move attic path out of private dir 2026-05-03 03:23:54 +02:00
modules Update dependencies 2026-05-16 12:11:38 +02:00
patches Update dependencies 2026-04-28 22:19:40 +02:00
secrets Configure attic 2026-05-02 21:53:23 +02:00
shells Updates to dodona-related shells 2026-04-22 17:44:43 +02:00
flake.lock Update dependencies 2026-05-18 16:58:47 +00:00
flake.nix Re-add tetris 2026-05-03 01:38:16 +02:00
license.md Update license.md 2020-09-27 14:41:25 +02:00
README.md Move foreign dev shells to flake outputs 2022-04-30 16:25:31 +02:00
remote.sh Change remote script cache to push to attic 2026-05-02 22:27:19 +02:00
renovate.json Add renovate.json 2025-02-10 14:41:52 +00:00
secrets.nix Configure attic 2026-05-02 21:53:23 +02:00
update.sh git pull instead of nix flake update since actions does the update for me 2022-01-14 09:43:57 +01:00

NixOS config

Secrets

Secrets should never be world-readable, even to users who are logged in to one of the hosts managed by this configuration. These are generally managed by agenix, allowing them to still be put in the nix store.

Setting up a new dev environment

  • Add a shell to the devShells output in flake.nix.

  • Execute use_flake /path/to/repo#name-of-shell > .envrc to initialize the .envrc file.

  • Execute direnv allow to load the .envrc file which in turn loads your environment.

Setting up ZFS

  1. Create three partitions:

    • Boot
    • Swap
    • ZFS

    For example:

    sgdisk -n 0:0:+512MiB -t 0:EF00 -c 0:boot $DISK
    sgdisk -n 0:0:+32GiB -t 0:8200 -c 0:swap $DISK
    sgdisk -n 0:0:0 -t 0:BF01 -c 0:ZFS $DISK
    
  2. Configure swap and boot as usual.

  3. Create ZPool:

    zpool create -O mountpoint=none -O encryption=aes-256-gcm -O keyformat=passphrase rpool $ZFS_PART
    

    Leave out -O encryption=aes-256-gcm -O keyformat=passphrase if you don't want to fully encrypt the ZFS partition.

  4. Create datasets:

    zfs create -o mountpoint=legacy rpool/local/root
    zfs snapshot rpool/local/root@blank
    zfs create -o mountpoint=legacy rpool/local/nix
    zfs set compression=lz4 rpool/local/nix
    zfs create -o mountpoint=legacy rpool/local/cache
    zfs set compression=lz4 rpool/local/cache
    zfs create -o mountpoint=legacy rpool/safe/data
    zfs set compression=lz4 rpool/local/data
    
  5. Mount datasets:

    mount -t zfs rpool/local/root /mnt
    mkdir /mnt/nix
    mount -t zfs rpool/local/nix /mnt/nix
    mkdir /mnt/boot
    mount $BOOT_PART /mnt/boot
    mkdir /mnt/cache
    mount -t zfs rpool/local/cache /mnt/cache
    mkdir /mnt/data
    mount -t zfs rpool/safe/data /mnt/data
    
  6. Configure Host ID

    Set networking.hostid in the nixos config to head -c 8 /etc/machine-id.