Comment gérer les images Docker
- 3792
- 938
- Clara Nguyen
Les images docker sont des modèles pour créer des conteneurs Docker. Ils contiennent tous les composants nécessaires, tels que le code, les bibliothèques et les dépendances, pour exécuter une application. La gestion des images Docker est une partie importante de l'utilisation de Docker, car elle vous permet de créer de nouveaux conteneurs, de pousser des images dans un registre et de supprimer des images inutilisées.
Dans cet article, nous allons expliquer comment gérer les images Docker, y compris comment énumérer, tirer, créer et supprimer des images.
Recherche d'images Docker
Vous pouvez exécuter 'Docker Search Image_name' pour rechercher des images disponibles sur Docker Hub. Par exemple, pour rechercher des images pour «nginx», exécutez la commande suivante.
Docker Search Nginx
Vous pouvez également rechercher le répertoire d'images à: https: // hub.docker.com /
Listing Docker Images
Pour répertorier les images Docker sur votre système, vous pouvez utiliser la commande Docker Images. Cette commande affichera une liste de toutes les images disponibles, y compris l'ID d'image, le référentiel, la balise et la taille.
Par exemple, pour répertorier toutes les images Docker, vous pouvez utiliser la commande suivante:
images docker
Vous pouvez également utiliser l'indicateur -a pour répertorier toutes les images, y compris les images intermédiaires utilisées pour créer d'autres images.
images docker -a
Tirer les images Docker
Pour extraire une image Docker à partir d'un registre, vous pouvez utiliser la commande docker pull suivie du nom de l'image. Le nom de l'image doit inclure le référentiel et la balise, séparés par un côlon.
Par exemple, pour extraire la dernière version de l'image Nginx du référentiel officiel, vous pouvez utiliser la commande suivante:
docker pull nginx
Vous pouvez également spécifier une balise spécifique pour tirer une version spécifique de l'image. Par exemple, pour tirer le 1.17.9 version de l'image Nginx, vous pouvez utiliser la commande suivante:
docker pull nginx: 1.17.9
Création d'images Docker
Pour créer une image docker, vous pouvez utiliser la commande docker build suivie du chemin du répertoire contenant le dockerfile. Le dockerfile est un fichier texte qui contient les instructions de construction de l'image.
Par exemple, pour créer une image à partir du dockerfile dans le répertoire actuel, vous pouvez utiliser la commande suivante:
docker .
Vous pouvez également spécifier une balise pour l'image à l'aide de l'indicateur -T. Par exemple, pour créer une image avec le tag MyImage: le plus tard, vous pouvez utiliser la commande suivante:
docker build -t myimage: dernier .
Suppression des images Docker
Pour supprimer une image Docker, vous pouvez utiliser la commande docker rmi suivie par l'ID d'image ou le nom de l'image. Vous pouvez obtenir une liste de toutes les images disponibles sur votre système en exécutant la commande docker images.
Par exemple, pour supprimer une image avec l'ID ABC123, vous pouvez utiliser la commande suivante:
docker RMI ABC123
Pour supprimer une image avec le nom MyImage, vous pouvez utiliser la commande suivante:
docker rmi myimage
Vous pouvez également supprimer plusieurs images à la fois en spécifiant une liste d'identifices d'image ou de noms séparés par des espaces.
Docker RMI ABC123 DEF456 GHI789
Conclusion
La gestion des images Docker est une partie importante de l'utilisation de Docker. En comprenant comment lister, tirer, créer et supprimer des images, vous pouvez garder votre système organisé et efficace. En utilisant les commandes appropriées, vous pouvez facilement
- « Choses à faire après l'installation d'Ubuntu 16.04 LTS
- Comment installer Google Chrome dans Fedora & Centos / Rhel 8 »