Documentation du Dr FRAPPE

Ce wiki regroupe les résultats de mes expériences en informatique accumulés au cours de mes recherches sur le net.

Dans la mesure du possible, j'ai cité mes sources ; il en manque certainement… :-)

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision		Révision précédente
tutoriel:partitions:deplacer_home:start1 [2020/10/01 09:14] – [Autres étapes] admintutoriel:partitions:deplacer_home:start1 [2022/08/13 21:58] (Version actuelle) – modification externe 127.0.0.1
Ligne 20: Ligne 20:
  
   * Créez la nouvelle partition ext4 avec Disk Utility   * Créez la nouvelle partition ext4 avec Disk Utility
 +
 ===== Autres étapes ===== ===== Autres étapes =====
  
Ligne 27: Ligne 28:
   - É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 =====
  

Piste :