2.8 KiB
\newpage
Installation
Prérequis
Docker repose sur plusieurs techniques implémentés dans les récents noyaux
Linux. Nous consacrerons les prochains cours à comprendre leurs
fonctionnement. Ces techniques ne sont pas limitées à une architecture de
microprocesseur spécifique (comme peuvent l'être les instructions de
virtualisation nécessaire pour rendre les hyperviseurs attractifs) ; cependant
la communauté autour de Docker utilisant principalement l'architecture amd64
,
c'est sur cette dernière que Docker pourra être exploité à son plein potentiel.
Avant de continuer, assurez-vous que votre machine a bien démarré sur un noyau
64 bits. Le retour de la commande uname -m
doit vous indiquer :
x86_64
Assurez-vous également d'avoir un noyau récent, avec la commande uname -r
:
4.7.2-gentoo
Vous ne pourrez pas utiliser Docker avec un noyau antérieur à la version 3.10.
Par le gestionnaire de paquets
En général, votre distribution mettra à votre disposition une version de Docker
plus ou moins récente. Sous Debian et ses dérivés (Ubuntu, Mint, ...) le paquet
a été nommé docker.io
.
Si dans un environnement de production, on préférera sans doute utiliser une version déjà bien éprouvée, pour ce cours, nous allons avoir besoin de la dernière version disponible. Référez-vous à la documentation officielle correspondant à votre distribution :
https://docs.docker.com/engine/installation/linux/
Installez également le paquet docker-compose
.
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.12.1
API version: 1.24
Go version: go1.7
Git commit: 23cf638
Built:
OS/Arch: linux/amd64
Server:
Version: 1.12.1
API version: 1.24
Go version: go1.7
Git commit: 23cf638
Built:
OS/Arch: linux/amd64
no such file or directory
?
Si vous avez cette erreur : dial unix /var/run/docker.sock: no such file or directory.
, le deamon n'est sans doute pas lancé. Lancez-le :
sudo service docker restart
permission denied
?
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
Attention : cette action n'est pas anodine d'un point de vue sécurité : https://docs.docker.com/engine/security/security/#docker-daemon-attack-surface
Rendu
Questions
-
Dans quel langage Docker a-t-il été écrit ?
-
Décrivez une méthode permettant à un utilisateur (non-root), présent dans le groupe
docker
, d'effectuer une action privilégiée impactant la machine hôte.