1) prendre une clef usb bootable contenant gparted pour redimensionner les partitions
à votre convenance. Mieux vaut faire une sauvegarde de vos données avant ...
2) déplacer un ou plusieurs dossiers de / vers /home et positionner un lien à la place.
par exemple déplacer /opt vers /home/opt (cd / && mv /opt /home/ && ln /home/opt)
Attention y a des dossiers qui doivent rester sur / ...
Pour ma part, j'utilise lvm dès l'installation de debian et je n'affecte à chaque lv
(ROOT, HOME, SWAP) que l'espace nécessaire (ne pas affecter tout l'espace du vg)
sachant qu'on peut à tout moment et à chaud augmenter la taille d'un LV et
redimensionner en conséquence le fs sous-jacent.
# Possibilités ...
Posté par Guy . En réponse au message Modifier taille partition /. Évalué à 2.
2 possibilités :
1) prendre une clef usb bootable contenant gparted pour redimensionner les partitions
à votre convenance. Mieux vaut faire une sauvegarde de vos données avant ...
2) déplacer un ou plusieurs dossiers de / vers /home et positionner un lien à la place.
par exemple déplacer /opt vers /home/opt (cd / && mv /opt /home/ && ln /home/opt)
Attention y a des dossiers qui doivent rester sur / ...
Pour ma part, j'utilise lvm dès l'installation de debian et je n'affecte à chaque lv
(ROOT, HOME, SWAP) que l'espace nécessaire (ne pas affecter tout l'espace du vg)
sachant qu'on peut à tout moment et à chaud augmenter la taille d'un LV et
redimensionner en conséquence le fs sous-jacent.