Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
aide:docker [12/09/2018 11:30] Chantrein Jean-Mathieu [Quelques définitions] |
aide:docker [12/09/2018 11:33] (Version actuelle) Chantrein Jean-Mathieu |
||
|---|---|---|---|
| Ligne 2: | Ligne 2: | ||
| Voir aussi : | Voir aussi : | ||
| - | * [[aide:docker_enseignant|Mise à disposition des étudiants d'une image Docker]] | + | * [[aide:docker_enseignant|Comment mettre à disposition des étudiants d'une image Docker]] |
| - | * [[aide:docker_etudiants|Utilisation de Docker]] | + | * [[aide:docker_etudiants|Utilisation de Docker dans les salles de tps du département informatique et sur les portables de prêts]] |
| ====== Fondements de la technologie Docker ====== | ====== Fondements de la technologie Docker ====== | ||
| - | ===== Problèmes recurrents ===== | + | ===== Problèmes récurrents ===== |
| * Je n'ai plus d'espace disque, mon dossier /var est imposant. | * Je n'ai plus d'espace disque, mon dossier /var est imposant. | ||
| Ligne 47: | Ligne 47: | ||
| === Supprimer les images orphelines === | === Supprimer les images orphelines === | ||
| - | À force de changementS des Dockerfile, les processus de reconstruction d'image peuvent créer de nombreuses images diteS orphelines (même si le terme ne convient pas, car elles ont des images parentes ... Elles sont orphelines dans le sens où elle ne servent plus et sont donc à l'abandon). Les images orphelines sont des images qui ne sont pas identifiées ("<none>") et qui ne sont parent d'aucune image (i.e.: ce ne sont pas des images intermédiaires). Pour les supprimer, il suffit d'exécuter la commande suivante : | + | À force de changements des Dockerfile, les processus de reconstruction d'image peuvent créer de nombreuses images dites orphelines (même si le terme ne convient pas, car elles ont des images parentes ... Elles sont orphelines dans le sens où elle ne servent plus et sont donc à l'abandon). Les images orphelines sont des images qui ne sont pas identifiées ("<none>") et qui ne sont parent d'aucune image (i.e.: ce ne sont pas des images intermédiaires). Pour les supprimer, il suffit d'exécuter la commande suivante : |
| docker rmi `docker images --quiet --filter dangling=true` | docker rmi `docker images --quiet --filter dangling=true` | ||
| - | * docker images liste les images qui ne sont pas des parents, lorsque celles-ci sont taggées (identifiées), elles correspondent à l'image finale qui servira à instancier le conteneur. | + | * docker images liste les images qui ne sont pas des parents, lorsque celles-ci sont taguées (identifiées), elles correspondent à l'image finale qui servira à instancier le conteneur. |
| * L'option //--quiet// permet de n'afficher que les identifiants des images | * L'option //--quiet// permet de n'afficher que les identifiants des images | ||
| * L'option //--filter dangling=true// permet de n'afficher que les images orphelines (dangling = ballant, qui pendouille) | * L'option //--filter dangling=true// permet de n'afficher que les images orphelines (dangling = ballant, qui pendouille) | ||
| Ligne 58: | Ligne 58: | ||
| <note> | <note> | ||
| - | Ne soyez pas surpris si, pendant l'éxécution de cette commande, vous voyez apparaître la suppression de beaucoup plus d'images que ce que vous pensiez. Il s'agit en fait de la destruction des images intermédiaires qui servaient à la construction de l'image orpheline que vous détruisez et qui du coup deviennent orphelines à leur tour. | + | Ne soyez pas surpris si, pendant l’exécution de cette commande, vous voyez apparaître la suppression de beaucoup plus d'images que ce que vous pensiez. Il s'agit en fait de la destruction des images intermédiaires qui servaient à la construction de l'image orpheline que vous détruisez et qui du coup deviennent orphelines à leur tour. |
| </note> | </note> | ||
Page d'impression
