| Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente |
| tutoriel:partitions:deplacer_home:start1 [2020/10/01 09:49] – [Autres étapes] admin | tutoriel:partitions:deplacer_home:start1 [2022/08/13 21:58] (Version actuelle) – modification externe 127.0.0.1 |
|---|
| |
| * Créez la nouvelle partition ext4 avec Disk Utility | * Créez la nouvelle partition ext4 avec Disk Utility |
| | |
| ===== Autres étapes ===== | ===== Autres étapes ===== |
| |
| - Éditez à nouveau avec les droits d'administration le fichier **/etc/fstab** en supprimant **/media** pour ne garder que **/home** :<code - /etc/fstab>UUID=??? /home ext4 nodev,nosuid 0 2</code> | - Éditez à nouveau avec les droits d'administration le fichier **/etc/fstab** en supprimant **/media** pour ne garder que **/home** :<code - /etc/fstab>UUID=??? /home ext4 nodev,nosuid 0 2</code> |
| - Sauvegardez, quittez l’éditeur mais ne redémarrez pas encore la machine. | - Sauvegardez, quittez l’éditeur mais ne redémarrez pas encore la machine. |
| - 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é, vous avez toujours 2 copies de votre répertoire /home : le nouveau sur la nouvelle partition (montée en /media/home) et l'ancien toujours dans sa partition (montée en que /home).\ Nous devons déplacer le contenu de l'ancien home et créer un répertoire vide qui servira de point de montage pour notre nouvelle partition :<cli prompt='$ '>...@...:~$ cd / | - 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é, vous avez toujours 2 copies de votre répertoire /home : le nouveau sur la nouvelle partition (montée en /media/home) et l'ancien toujours dans sa partition (montée en que /home).\\ Déplacez le contenu de l'ancien home et créez un répertoire vide qui servira de point de montage pour la nouvelle partition :<cli prompt='$ '>...@...:~$ cd / |
| ...@...:~$ sudo mv /home /old_home | ...@...:~$ sudo mv /home /old_home |
| ...@...:~$ sudo mkdir -p /home</cli>**cd /** nous amène au répertoire racine, hors du home pour pouvoir utiliser la commande **sudo mv** pour renommer /home en /old_home, et créer un nouvel espace réservé vide /home. | ...@...:~$ sudo mkdir -p /home</cli>**cd /** nous amène au répertoire racine, hors du home pour pouvoir utiliser la commande **sudo mv** pour renommer /home en /old_home, et créer un nouvel espace réservé vide /home. |
| | - Redémarrez la machine. |
| - Supprimez l’ancien **/home** pour ne garder que le nouveau :<cli prompt='$ '>...@...:~$ cd / | - Supprimez l’ancien **/home** pour ne garder que le nouveau :<cli prompt='$ '>...@...:~$ cd / |
| ...@...:~$ sudo rm -r /old_home</cli> | ...@...:~$ sudo rm -rI /old_home</cli> |
| - redémarrez la machine. | |
| |
| Pour plus de détails (en anglais) : [[https://help.ubuntu.com/community/Partitioning/Home/Moving]] | Pour plus de détails (en anglais) : [[https://help.ubuntu.com/community/Partitioning/Home/Moving]] |
| | |
| ===== Conclusion ===== | ===== Conclusion ===== |
| |
