NixOS install guide for Raspberry Pi misses step in installation using wifi

Observations

I recently followed this guide (with the most recent hydra image) on installing NixOS on a Raspberry Pi 400. Setting up a wireless connection at the 'Getting internet connection' step did not actually connect to the internet yet. I had to first assign a static ip address to my wlan0 using the following commands:

sudo ip addr add <ipaddress> dev wlan0
sudo ip route add default via <ipaddress>

This allowed me to set up a nix shell to assign a regular ip address with dhcpcd

nix-shell -p dhcpcd
sudo dhcpcd wlan0

And the guide could be completed.

Also, the guide currently mentions to use iwconfig to find the network interface, but this program isn't available when first booting.

Problem

The guide misses a step to assign an ip address to the network interface and incorrectly assumes that iwconfig is available.

Approaches

A step needs to be inserted that explains how to assign an ip address to the wireless interface. It could be that this issue doesn't show up everywhere, but it would at least be good to mention it in the guide. Replacing iwconfig with ip link would also be an improvement

Willing to help?

Of course

Priorities

Add 👍 to issues you find important.

Open the linked NixOS-on-Raspberry-Pi installation guide and read its “Getting internet connection” section. Verify the first-boot availability of iwconfig and the reported wlan0 setup, then document the needed IP/DHCP step and use ip link for interface discovery. Done when a fresh Wi-Fi installation can continue to the nix-shell step without relying on unavailable iwconfig.