Comment supprimer les dossiers partagés inutiles dans Docker ?
Comment supprimer les dossiers partagés inutiles avec Docker :
1. Ouvrez Docker sur votre ordinateur.
2. Cliquez sur l'icône Docker dans la barre de menu et cliquez sur Options du panneau.
Vidéo
3. Cliquez sur l'icône des paramètres ci-dessus.
4. Cliquez sur l'option Partage de fichiers ici.
5. Recherchez le dossier à droite qui n'a pas besoin d'être partagé et cliquez sur le bouton de suppression du signe moins.
6. Après une suppression réussie, cliquez simplement sur le bouton Enregistrer ci-dessous.
Tutoriel recommandé : "Tutoriel vidéo Docker"
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!