A algunos usuarios de GNU/Linux, entre los que yo me encuentro, nos gusta tener nuestro disco duro particionado de manera que dejemos un partición no muy grande para el sistema raíz y otra, mayor, para la home, ya que ésta es la que más puede crecer.

En mi caso, para mi disco SSD de 256Gb, con un arranque dual, suelo dejar 40 GB para /, 140 GB para /home y el resto para windows, por si me apetece echar alguna partida (en una entrada futura hablaré de ExoDOS).

El problema con este particionamiento suele ser que el directorio /var puede crecer mucho y uno de los que me ha dado ya algún problema ha sido el directorio de datos de Docker, donde se guardan imágenes, volúmenes, etc. y que suele ser /var/lib/docker

Tras pensarlo un tiempo, decidí que la mejor manera de solucionarlo, sería montarlo en un directorio dentro de la partición /home, en concreto, decidí crear un directorio llamado docker en esa partición y configurar Docker para que usara ese directorio para almacenar sus datos.

El proceso para hacer es muy sencillo y os lo describo a continuación.

Desde una consola de creamos el directorio

sudo mkdir /home

Posteriormente, editaremos el fichero /etc/sysconfig/docker, si usas vi

sudo vi /etc/sysconfig/docker

y en la línea DOCKER_OPTS=»» añadiremos » -g /home/docker» quedando de la siguiente manera:

Salvamos el fichero y posteriormente, reiniciamos el servicio docker

sudo systemctl restart docker

Y ya estará realizado el cambio. Más sencillo imposible.

Actualización

En una reciente actualización de docker, la opción de configuración –graph ha quedado obsoleta en favor de –data-root, por lo que la línea «-g /home/docker» debe ser modificada por "--data-root /home/docker"