Still recovering from the server crash, but here’s a useful thing. When I brought up dhcpd on my new server, I set its name server option to my ISP’s name server. Â I hadn’t had time to set up a local DNS cache, and that was good enough to get web browsing working. Last night I […]