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.