« Utiliser doker » : différence entre les versions
Aller à la navigation
Aller à la recherche
Ligne 31 : | Ligne 31 : | ||
= Le docker Hub = | = Le docker Hub = | ||
Magasin | Magasin où les utilisateurs de docker peuvent partager leurs images | ||
==Comment trouver des images == | ==Comment trouver des images == |
Version du 26 avril 2021 à 10:08
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>