Updated WiFi setup steps for installation on Raspberry pi#1208
Updated WiFi setup steps for installation on Raspberry pi#1208Haschwalth00B wants to merge 8 commits intoNixOS:masterfrom
Conversation
| ``` | ||
|
|
||
| Once you see in your terminal that connection is established, run `host nixos.org` to check that the DNS resolves correctly. | ||
| If `dhcpcd` is not available, load it with: |
There was a problem hiding this comment.
We should know for sure if it is, right? The installation image a known thing for us. I generally very strongly recommend to avoid conditionals where possible, because they tend to obscure the essentials for people who are still learning.
|
|
||
| After a few seconds, verify the connection works by running `host nixos.org` to check that DNS resolves correctly. | ||
|
|
||
| If DNS resolution fails, you may need to manually add a nameserver: |
There was a problem hiding this comment.
Hm, mutating files is not good taste when you have Nix. Also why would we add the google NS of all things? The problem of explaining how to figure out your network connection explodes pretty quickly if you don't know what learners already know. One way to avoid that issue is to state the prerequisites explicitly, e.g. (I put no thought into this, so just for illustration):
- A working DHCP server on the network your Raspberry Pi is connected to
- Experience debugging network issues
Because then you can just assume it will work or resort to people's pre-existing experience to fix it on their own.
| result | ||
| source/_ext/__pycache__/ | ||
| .netlify | ||
| venv/ |
There was a problem hiding this comment.
What do we need this for?
| @@ -1 +1 @@ | |||
| <p>nix.dev as <a href="/nix-dev.pdf">PDF</p> | |||
| <p>nix.dev as <a href="/nix-dev.pdf">PDF</a></p> | |||
There was a problem hiding this comment.
Ah, good catch. But please maybe put it in a separate PR that we can merge instantly, because the guide content may need another cycle. (While at it, please make a self-contained commit message, because from Git history one can't tell what #1234 is supposed to mean. And following links while bisecting should be strictly optional.)
|
@fricklerhandwerk And thanks again for the guidance |
Haschwalth00B
changed the title
|
@fricklerhandwerk I've made the changes you suggested. Hope I got it right |
2 participants
This PR addresses two issues:
#1167: Adds missing step for assigning IP address to wireless interface during NixOS Raspberry Pi installation, and replaces unavailable iwconfig command with ip link
#1184: Fixes search results page where non-link elements incorrectly link to nix-dev.pdf