Posté par Guy .
En réponse au message Home séparé.
Évalué à 2.
On va supposer que ton / est plein et qu'il y'a encore de la place dans /home
3 façons de gérer le problème :
1) créer une clé ou un cd live usb boot contenant gparted.
Booter dessus et lancer gparted pour agrandir / en utilisant de la place de /home (le rétrécir).
J'utilise le live cd usb SystemRescueCd mais il y'en a d'autres ...
2) déplacer une grosse arborescence de / vers /home et créer un lien.
Attention on peut pas faire n'importe quoi. le /opt s'il est gros (du -hs /opt) peut bien se prêter à cette manip. On fait quelque chose de ce genre (principe) :
NB: on vérifie avant qu'il y a assez de place sur /home pour recevoir /opt (df -h)
sudo mv /opt /home
sudo ln -s /home/opt /opt
3) lors de l'install utiliser des partitions "dynamiques" (lvm) qui vont permettre de retailler (agrandir) les partitions.
Dans ton exemple, tu mets 20 go pour / et 100 go pour /home, il te reste 100 go de libre que tu pourras affecter à la partition de ton choix et à chaud (sans rebooter) lorsqu'une de tes partitions se révélera un peu petite.
Il est possible de transformer ton install actuelle en lvm mais ça reste un peu délicat.
Donc à toi de choisir, mais la 1 ou la 2 sont les plus simples à mettre en œuvre. Tu te réserves la 3 pour ta prochaine install ;-)
# Quelques suggestions pour corriger le problème.
Posté par Guy . En réponse au message Home séparé. Évalué à 2.
On va supposer que ton / est plein et qu'il y'a encore de la place dans /home
3 façons de gérer le problème :
1) créer une clé ou un cd live usb boot contenant gparted.
Booter dessus et lancer gparted pour agrandir / en utilisant de la place de /home (le rétrécir).
J'utilise le live cd usb SystemRescueCd mais il y'en a d'autres ...
2) déplacer une grosse arborescence de / vers /home et créer un lien.
Attention on peut pas faire n'importe quoi. le /opt s'il est gros (du -hs /opt) peut bien se prêter à cette manip. On fait quelque chose de ce genre (principe) :
NB: on vérifie avant qu'il y a assez de place sur /home pour recevoir /opt (df -h)
sudo mv /opt /home
sudo ln -s /home/opt /opt
3) lors de l'install utiliser des partitions "dynamiques" (lvm) qui vont permettre de retailler (agrandir) les partitions.
Dans ton exemple, tu mets 20 go pour / et 100 go pour /home, il te reste 100 go de libre que tu pourras affecter à la partition de ton choix et à chaud (sans rebooter) lorsqu'une de tes partitions se révélera un peu petite.
Il est possible de transformer ton install actuelle en lvm mais ça reste un peu délicat.
Donc à toi de choisir, mais la 1 ou la 2 sont les plus simples à mettre en œuvre. Tu te réserves la 3 pour ta prochaine install ;-)