http://kuukkanen.i2p/posts/switching-nixos
I’m going to shortly describe what my experience has been like so far but won’t
go too deep into the technical details. There are already a ton of articles and
guides talking about Nix, NixOS, Home Manager, agenix, disko, etc. so there is
no point repeating that here.