J'ai un SSD de 128 Go avec root et home sur une grande partition étendue. Je veux séparer/home de la partition racine. Et je veux passer de 16.04 à 18.04. Il y a beaucoup de résultats où ils expliquent comment déplacer le dossier/home.
Mais j'ai pensé que ce ne serait pas plus facile dans l'autre sens./home contient le plus de données. S'il ne contient plus que 50% de mon SSD, je ne peux même pas le déplacer directement. Mais le reste de ma partition racine n’est que de 11 Go, j’ai donc proposé la solution suivante:
scénario:
cd /
shopt -s extglob
rm -rf !(home)
mv /home /
")Est-ce une bonne stratégie ou est-ce que des choses me manquent?
MODIFIER:
Pour jdwolf: je ne sais pas ce qu'est une partition dynamique, mais peut-être que cette information peut aider: c'est le résultat de lsblk:
NAME MAJ:MIN RM SIZE RO TYPE MOUNTPOINT
sda 8:0 0 117,4G 0 disk
├─sda1 8:1 0 487M 0 part /boot
├─sda2 8:2 0 1K 0 part
└─sda5 8:5 0 116,9G 0 part
├─ubuntu--vg-root 252:0 0 90,2G 0 lvm /
└─ubuntu--vg-swap_1 252:1 0 3,7G 0 lvm [SWAP]
Il semble que ma stratégie a payé. J'ai réussi à réduire de 25 Go ma seule partition, bien que cela me coûte du sang, de la sueur et des larmes. Mais c'est habituel avec les partitions LVM2. J'ai installé 18.04 sur la nouvelle partition et monté l'ancienne partition sur /home
. Je viens de supprimer tous les anciens répertoires 16.04 de cette partition et mes anciennes données utilisateur sont maintenant dans /home/home/<<user>>
. Mais c'est un jeu d'enfant de déplacer cela vers /home/<<user>>
quand j'en ai besoin.
Pourquoi n'ai-je pas fait la manière habituelle/facile, il suffit de déplacer /home
? Eh bien, ce n'est pas facile non plus de déplacer 60 Go de données vers une nouvelle partition, alors qu'il ne me reste que 50 Go d'espace.