Ugh this is me rn. Spent like 30 minutes trying to figure out how to get NixOS to request a new DHCP lease. Reconnecting to the network? Nope, same IP. dhclient? Nope, not on NixOS. systemd-networkd? Keeps throwing some weird error. The solution? Just reboot the damn computer.

Reminds me of when I installed Arch for the first time. I installed Xorg, a login manager, and KDE, and could not for the life of me get them to start. So I figured I’d just restart and see what would happen. Suddenly I had KDE running perfectly!