when you google the “nodename nor servname provided, or not known” error, you can see it’s a pretty low-level one, bellow the scope of

another possibility would be a non standard mDNS domain (tweakable w/ norns-mdns-domain).

does accessing http://norns.local/ work from your browser? if not, it’s the “local” part that’d need to be tweaked.

you could try using “lan” which is another generally valid value:

(setq norns-mdns-domain "lan")
1 Like