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 | ||
informatique:aides:docker [2024/12/26 17:01] – [Commandes utiles] jpmilcent | informatique:aides:docker [2024/12/31 10:31] (Version actuelle) – [Renommer un volume] jpmilcent | ||
---|---|---|---|
Ligne 24: | Ligne 24: | ||
* Utiliser ensuite la commande '' | * Utiliser ensuite la commande '' | ||
- | ===== Renommer | + | ===== Renommer |
- | * Créer le nouveau volume '' | + | * Pas de solution évidente. Il faut aussi créer les volumes avec Docker Compose sinon nous avons un message d' |
- | docker volume create --name new_volume && | + | * Arrêter les containers : < |
- | </ | + | * Renommer le dossier et vérifier le contenu du fichier '' |
+ | * Créer le nouveau volume '' | ||
+ | * Copier | ||
+ | * Relancer le container et vérifier que tout fonctionne correctement : < | ||
* Si tout est ok, supprimer l' | * Si tout est ok, supprimer l' | ||