Bonjour,
Le 2022-08-12 20:17, hamster a écrit :
Le 12/08/2022 à 19:49, jerome moliere a écrit :
Merci bien Hamster..... Je ne savais pas pour l'hibernation et la
compression a la volee...
L usage c est du dev principalement avec pas mal de docker (donc il
faut un var plus gros)
OK. Et si je comprend bien tu veux une /var séparée pour pas faire
planter le système si tu la remplis raz la gueule avec des dockers. Si
c'est la que t'a besoin de place et pas tellement dans /home, alors
n'hésite pas a la faire grosse.
Autre possibilité, faire un montage "bind" d'un dossier de /home dans
/var/lib/docker.
Par exemple :
mkdir /home/docker
mount -o bind /home/docker /var/lib/docker
(à mettre dans /etc/fstab pour la persistence au reboot)
Ça te permet d'avoir une seule grosse partition qui va héberger tout ce
qui prend de la place.
Sébastien
