Now I am getting closer to do the things I wanted in this computer, then Docker is one of the first calls.
Previously I had a bit of a dance around different version and scripts, however it seems to be more stable now.
sudo apt install docker.io # version 19.03.2
Previously I went with docker.ce, which includes all the dependencies it needs, compared with docker.io which has each dependency as a separated package. I will see how it goes for a few days and roll back to my previous approach if there are problems.
The other thing I use a lot is Docker Compose, which is a few versions behind in the Ubuntu repository (1.21 compared with 1.24), then I didn't use the repository.
sudo curl -L "https://github.com/docker/compose/releases/download/1.24.1/docker-compose-$(uname -s)-$(uname -m)" -o /usr/local/bin/docker-compose sudo chmod +x /usr/local/bin/docker-compose
To get the access rights required to run Docker, an extra command is needed:
sudo usermod -a -G docker $USER
After running it you need to log out and log in again, it is not enough to refresh the terminal.