Différences
Ci-dessous, les différences entre deux révisions de la page.
Prochaine révision | Révision précédenteProchaine révisionLes deux révisions suivantes | ||
tutoriel:partitions:deplacer_home:start1 [2020/10/01 08:13] – créée admin | tutoriel:partitions:deplacer_home:start1 [2020/10/01 09:49] – [Autres étapes] admin | ||
---|---|---|---|
Ligne 19: | Ligne 19: | ||
===== Première étape ===== | ===== Première étape ===== | ||
+ | * Créez la nouvelle partition ext4 avec Disk Utility | ||
===== Autres étapes ===== | ===== Autres étapes ===== | ||
+ | - Repérez l'UUID de la nouvelle partition :<cli prompt=' | ||
+ | /dev/sda7: UUID=" | ||
+ | - Faites une copie de **/ | ||
+ | - Éditez avec les droits d' | ||
+ | - Assurez-vous que toutes les partitions sont montées :<cli prompt=' | ||
+ | - Copiez l’ancien /home vers le nouveau :<cli prompt=' | ||
+ | - Vérifiez le contenu de l’ancien /home par rapport au nouveau :<cli prompt=' | ||
+ | - Éditez à nouveau avec les droits d' | ||
+ | - Sauvegardez, | ||
+ | - Déplacez l’ancien /home : sauvegardez votre ancien home, au cas où les choses ne se seraient pas déroulées parfaitement :\ Tant que vous n'avez pas redémarré, | ||
+ | ...@...:~$ sudo mv /home /old_home | ||
+ | ...@...:~$ sudo mkdir -p / | ||
+ | - Supprimez l’ancien **/home** pour ne garder que le nouveau :<cli prompt=' | ||
+ | ...@...:~$ sudo rm -r / | ||
+ | - redémarrez la machine. | ||
+ | |||
+ | Pour plus de détails (en anglais) : [[https:// | ||
===== Conclusion ===== | ===== Conclusion ===== | ||