@emma@emmabyte.deI love how easy /etc/hosts is. I just sshed into a Linux system that (for whatever reason) doesn't have working DNS, but needed to download rust. So I looked up the ip of sh.rustup.rs and ran the install script. Ofc it failed, because it also needs static.rust-lang.org, but I guessed that the same ip would work, and it did. So now I have installed rust without DNS 👍