L’astuce du mois: modifier le répertoire de stockage des images Docker

Besoin

Par défaut, Docker stocke ses images dans le répertoire /var/lib/docker. Lorsqu’on commence à utiliser Docker de façon plus soutenue, les images s’accumulent et le contenu de ce répertoire prend de plus en plus de place. Or par défaut, avec une distribution debian, le répertoire /var est dans une partition séparée, qui peut devenir assez vite trop petite.

La première solution consiste à modifier la taille de ses partitions. L’autre solutions, moins radicale, consiste à déplacer le répertoire contenant les images Docker. C’est ce qu’effectue le code dans le snippet qui suit.

Après avoir stoppé le service Docker, la configuration du service est modifiée pour indiquer le nouveau répertoire (dans ce snippet le nouveau répertoire est /home/docker), puis l’ancien répertoire est copié vers le nouveau, et effacé, et enfin le service est redémarré.

Code

service docker stop
echo '{
"data-root": "/home/docker"
}' >  /etc/docker/daemon.json
mkdir /home/docker
rsync -aP /var/lib/docker/ /home/docker
rm -rf /var/lig/docker
service docker start