Install nix with the DeterminateSystems nix-installer
$ nix-installer plan macos --case-sensitive --extra-conf "use-case-hack = false" --encrypt true > plan.json
$ nix-installer install plan.json
$ sudo mv /etc/nix/nix.conf{,.before-nix-darwin}
$ nix --extra-experimental-features 'flakes nix-command' run nix-darwin -- switch --flake .
Generate SD card image
$ task nixos:sd host=adama
Flash SD card or USB stick with sd.img
using Raspberry Pi Imager, put in RPi and start attached to network.
Grab new ssh host key.
$ ssh-keyscan 192.168.1.195
Update host key in secrets/secrets.nix
and rekey secrets.
$ cd secrets
$ agenix --rekey
Copy user secret decryption key to home dir.
$ scp ~/.ssh/id_ed25519 adama:.ssh/
Deploy refreshed secrets.
$ nixos-rebuild switch --flake . --target-host 192.168.1.195 --fast --use-remote-sudo