In ubuntu, apt repo address used to be apt.dockerproject.org. I just realized that around july 2017 it stopped receiving updates. Now I see in the documentation to install docker that the repo address has been changed to download.docker.com
I’m currently with docker 17.05-ce for Ubuntu 16.04
What is the proper procedure to upgrade docker, asuming I don’t want to delete the containers, but I’m ok with a little bit of downtime.
removing docker enigne, changing the adresss in sources.list and re-installing docker?