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évisionLes deux révisions suivantes
tutoriel:partitions:deplacer_home:start1 [2020/10/01 09:46] – [Autres étapes] admintutoriel:partitions:deplacer_home:start1 [2020/10/01 09:49] – [Autres étapes] admin
Ligne 30: Ligne 30:
   - Vérifiez le contenu de l’ancien /home par rapport au nouveau :<cli prompt='$ '>...@...:~$ sudo diff -r /home /media/home -x ".gvfs/*"</cli>   - 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 : 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).\ 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 /
 ...@...:~$ sudo mv /home /old_home ...@...:~$ sudo mv /home /old_home
Ligne 36: Ligne 36:
   - 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 -r /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]]

Piste :