| 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:14] – [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 avec les droits d'administration le fichier **/etc/fstab** pour ajouter une ligne à la fin du fichier (remplacez les ??? par votre UUID) :<code - /etc/fstab>UUID=??? /media/home ext4 nodev,nosuid 0 2</code> | - Éditez avec les droits d'administration le fichier **/etc/fstab** pour ajouter une ligne à la fin du fichier (remplacez les ??? par votre UUID) :<code - /etc/fstab>UUID=??? /media/home ext4 nodev,nosuid 0 2</code> |
| - Assurez-vous que toutes les partitions sont montées :<cli prompt='$ '>...@...:~$ sudo mount -a</cli> | - Assurez-vous que toutes les partitions sont montées :<cli prompt='$ '>...@...:~$ sudo mount -a</cli> |
| - Copiez l’ancien /home vers le nouveau :<cli prompt='$ '>...@...:~$ sudo rsync -axS –exclude=’/*/.gvfs’ /home/. /media/home/.</cli> | - Copiez l’ancien /home vers le nouveau :<cli prompt='$ '>...@...:~$ sudo rsync -axS –exclude=’/*/.gvfs’ /home/. /media/home/.</cli>/.gvfs est exclu de la copie |
| - Vérifiez le contenu de l’ancien /home par rapport au nouveau ; la seule différence devrait être /.gvfs exclu de la copie par la commande précédente | - Vérifiez le contenu de l’ancien /home par rapport au nouveau :<cli prompt='$ '>...@...:~$ sudo diff -r /home /media/home -x ".gvfs/*"</cli> |
| - É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 et rebootez la machine | - Sauvegardez, quittez l’éditeur mais ne redémarrez pas encore la machine. |
| - Déplacez l’ancien /home :<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 |
| cd / | ...@...:~$ 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> | - 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> |
| |
| 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 ===== |
| |
