Utiliser doker
Définition Wikipédia
Docker est un logiciel libre permettant de lancer des applications dans des conteneurs logiciels. [1]
Installation sous GNU/Linux ubuntu )
sudo apt update sudo apt install apt-transport-https ca-certificates xz-utils iptables aufs-tools git
Ajouter le dépôt et la clé GPG
echo "deb [arch=amd64] https://download.docker.com/linux/ubuntu $(lsb_release -cs) edge" > /etc/apt/sources.list.d/docker.list curl -fsSL https://download.docker.com/linux/debian/gpg | sudo apt-key add - apt update apt-get install docker-ce
Pour limiter l'espace utilisé par un conteneur, ajouter dans /etc/default/grub
GRUB_CMDLINE_LINUX="cgroup_enable=memory swapaccount=1"
puis
sudo update-grub
Démarrer et activer
systemctl start docker systemctl enable docker
shutdown -r now
Tester l'installation
docker run hello-world
Afficher la version et des infos
docker version
Le docker Hub
Magasin où les utilisateurs de docker peuvent partager leurs images
Comment trouver des images
- Sur le site : https://hub.docker.com/explore/
- En ligne de commande
docker search <nom du logiciel>
Les images
Gestion des images avec docker image [commande]
Télécharger une image
- Commande :
docker image pull [nom image]:[tag]
- Si on ne met pas le tag, on télécharge la dernière version
Lister les images
docker image ls
ou
docker image ls */*<mot>
Supprimer les images
- Supprimer une image
docker image rm [nom Image ou ID image]:[tag]
- Supprimer toutes les images
docker image prune -a
Les conteneurs
Lancer, arrêter et lister des conteneurs
Lancer
docker container run [OPTIONS] IMAGE [COMMANDE]