je ne sais pas du tout ou on pu passer tes Gig manquant mais bon la prochaine fois pense plutot a mount ta partition plus que d'essayer de redimensionner n'avoir qu'une seule partition est pratique quand on ne veux pas se casser la tete a l'install mais ce n'est pas le mieux
il faut qu'au moins /home soit une partition a part (comme ca si tu reinstall pour X raison tu touche pas a ta partition /dev/xxx que tu montes ensuite sur /home
maintenant pour ta partition rien ne t'empeche de la mounter en home maintenant (si tu arrive a la recup bien sur)
man mount la prochaine fois mount permet de faire pas mal de choses (comme monter un seul repertoire d'une partition deja montee (de memoire)) de plus avoir 2 partition est plus flexible qu'une seule (c'est mon avis bien sur)
chez moi c'est toujours une partition pour / une pour /home une pour /var (les logs) au minimun sinon pour les puriste ca serait /, /usr ,/usr/local, /var, /home, (j'en oublie peut etre)
# mount la prochaine fois !
Posté par k s . En réponse au message Agrandissement de la partition racine. Évalué à 1.
il faut qu'au moins /home soit une partition a part (comme ca si tu reinstall pour X raison tu touche pas a ta partition /dev/xxx que tu montes ensuite sur /home
maintenant pour ta partition rien ne t'empeche de la mounter en home maintenant (si tu arrive a la recup bien sur)
man mount la prochaine fois mount permet de faire pas mal de choses (comme monter un seul repertoire d'une partition deja montee (de memoire)) de plus avoir 2 partition est plus flexible qu'une seule (c'est mon avis bien sur)
chez moi c'est toujours une partition pour / une pour /home une pour /var (les logs) au minimun sinon pour les puriste ca serait /, /usr ,/usr/local, /var, /home, (j'en oublie peut etre)
bon courage dans ta quete