Install problem: `getaddrinfo: Name or service not known`

Product Support
5

Yeah. A typo. I’m afraid my tale of woe is unlikely help future readers, except to know that you can use tcpdump to watch port 53. That was the saving grace.

The actual typo was somehow I copy-pasted dns-nameservers in twice, so I had

uto enp1s0
iface enp1s0 inet static
  address 38.242.7.195/28
  gateway 38.242.7.193
  dns-nameservers dns-nameservers 1.0.0.1 1.1.1.1

rather than

  dns-nameservers 1.0.0.1 1.1.1.1

And DNS worked all the time except, inside of docker. (Docker used only the first entry rather than using the next one if the first failed?)