1.2 KiB
1.2 KiB
\newpage
Installation
Docker
Par le gestionnaire de paquets
Sous Debian et ses dérivés (Ubuntu, Mint, ...) le paquet et la commande ont été
nommés docker.io. Vous pouvez vous créer un alias alias docker=docker.io si
celui-ci n'a pas déjà été défini.
Sous les autres distributions, docker correspond a priori bien à la solution
de virtualisation légère que l'on va utiliser.
Manuellement
L'équipe en charge de Docker met à disposition un script pour installer Docker sur n'importe quel système :
curl -sSL https://get.docker.com/ | sh
Vérifier la bonne marche de l'installation
Vous devriez maintenant être capable de lancer la commande suivante :
docker version
Une sortie similaire au bloc suivant devrait apparaître sur votre écran :
Client version: 1.3.2
Client API version: 1.15
Go version (client): go1.3.3
Git commit (client): 39fa2fa
OS/Arch (client): linux/amd64
Server version: 1.3.2
Server API version: 1.15
Go version (server): go1.3.3
Git commit (server): 39fa2fa
Si vous avez cette erreur : dial unix /var/run/docker.sock: permission denied., ajoutez votre utilisateur au groupe docker et relancer votre
session :
sudo gpasswd -a $USER docker