Install Docker in Debian

docker_install

# install the following packages

sudo apt install apt-transport-https ca-certificates curl gnupg2 sofware-properties-common

# $(. /etc/os-release; echo "$ID")
# outputs debian

# add Docker's GPG key

curl -fsSL https://download.docker.com/linux/debian/gpg | sudo apt-key add -

# verify fingerprint in website with last 8 digits 0EBFCD88

apt-key fingerprint 0EBFCD88

# set up repository
# $(. /etc/os-release; echo "$ID")
# outputs "debian"
# $(lsb_release -cs)
# outputs "stretch" for exemple

sudo add-apt-repository "deb [arch=amd64] https://download.docker.com/linux/debian stretch stable"

sudo apt update

sudo apt install docker-ce

# alternatively, choose a specific version
# sudo apt-get install docker-ce=<VERSION_STRING>

# to prevent auto-start

sudo systemctl disable docker