Something changed at Docker?

Help
1

Granted, this is indirectly related. Happened to thrash my Pi satellite and was rebuilding the software stack.
Was going well until I got to the Docker on pi install (here, and elsewhere) they both “curl” stuff from get.docker.com - but no luck resolving the host

curl: (6) Could not resolve host: get.docker.com

Anybody else run into this?

2

Well don’t I feel stupid - it’s something set wrong on my Pi. It was late last night when I “set up” the networking.