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