Docker

Installation (méthode dépôt)

Installer via la méthode Repository : https://docs.docker.com/engine/install/debian/#install-using-the-repository

Installation alternative (méthode script)

Installer via la méthode Script : https://docs.docker.com/engine/install/debian/#install-using-the-convenience-script

Proxy HTTP

Si besoin, éditer le service docker : systemctl edit docker.service :

[Service]
Environment=HTTP_PROXY=http://proxy:3128
Environment=HTTPS_PROXY=http://proxy:3128