Le chemin d'accès standard sur Windows où Docker met des choses est:Modifier le répertoire .docker sous Windows
C:\Users\<USER>\.docker
Nous avons besoin de le mettre ici:
D:\Docker
Nous ne avons trouvé aucune information sur l'endroit où ou comment changer ce paramètre. Tout indice apprécié, merci!
Vous pouvez simplement définir la variable d'environnement HOME avant en lançant une nouvelle session boot2docker ou docker machine.
set HOME=D:\docker
(Ajoutez à vos variables d'environnement utilisateur si vous voulez qu'il persiste à travers des sessions CMD)
Ces outils vont chercher une config dans $HOME/.xxx
L'ajout de 'set HOME = D: \ Docker' dans' start.sh' ne semble pas changer quoi que ce soit. –
@AndrejStieben Dans votre variable d'environnement utilisateur alors. – VonC
Une solution qui fonctionne pour nous est la création un lien symbolique:
mklink /J "C:\Users\<USER>\.docker" "D:\Docker"
Mais ce n'est pas ce qu'on appelle une solution propre.
(. Tout le crédit pour la question & cette réponse va à IMM0rtalis)
Juste au cas où quelqu'un trébuche sur cette question à l'avenir, j'ai ajouté la variable d'environnement MACHINE_STORAGE_PATH comme suggéré dans: http://stackoverflow.com/questions/33933107/change-docker-machine-location-windows et ça a marché! – martintama