Ceci est une ancienne révision du document !
Docker
Utilisation basique
Pour lancer un shell dans un conteneur avec Debian Buster:
docker run -it debian:buster
Une fois dans le conteneur, pour utiliser efficacement apt:
DEBIAN_FRONTEND=noninteractive
apt update
L'option -p 8000:8000 permet de partager le port 8000. Du point de vue du conteneur, la machine hôte a l'IP 172.17.0.1 (Docker ajoute une interface réseau à la machine hôte).
Arrêter / Stopper tous les containers
docker stop $(docker ps -a -q) docker rm $(docker ps -a -q)
Changer l'emplacement des données de Docker
Créer le fichier /etc/docker/daemon.json:
{
"data-root": "/media/linux/docker/"
}
Redémarrer le service:
sudo service docker restart