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…

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.

{{tag>tutoriel}}

====== Ubuntu : déplacer rapidement le /home ======

Voici les 4 étapes pour déplacer le /home si vous manquez d’espace ou si vous voulez le déplacer sur un autre disque.
  - Créer une nouvelle partition, trouver le UUID (Universally Unique Identifier) et modifier FSTAB
  - Copier l’ancien /home vers le nouveau et vérification
  - Modifier FSTAB et rebooter
  - Tester et effacer l’ancien /home

<WRAP center round important 60%>
les commandes sont dangereuses, faites une sauvegarde préalable !
</WRAP>

Les commandes doivent être exécutées dans un terminal.

===== Pré-requis =====

===== Première étape =====

  * Créez la nouvelle partition ext4 avec Disk Utility
===== Autres étapes =====

  - Repérez l'UUID de la nouvelle partition :<cli prompt='$ '>...@...:~$ sudo blkid
/dev/sda7: UUID="d2ac9a26-c635-4f4a-932d-8b6b3cddd065" TYPE="ext4"</cli>Copiez la valeur qui se trouve après UUID= et sans les guillemets :
  - Faites une copie de **/etc/fstab** :<cli prompt='$ '>...@...:~$ sudo cp /etc/fstab /etc/fstab.$(date +%Y-%m-%d)</cli>
  - É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>
  - 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 :<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>
  - 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 /
...@...:~$ 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.
  - Supprimez l’ancien **/home** pour ne garder que le nouveau :<cli prompt='$ '>...@...:~$ cd /
...@...:~$ 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]]
===== Conclusion =====

===== Problèmes connus =====

===== Voir aussi =====

  * **(fr)** [[https://macalga.wordpress.com/2011/01/14/ubuntu-comment-rapidement-deplacer-le-home/]]

----
//Basé sur << [[https://macalga.wordpress.com/2011/01/14/ubuntu-comment-rapidement-deplacer-le-home/|Ubuntu : comment rapidement déplacer le /home ?]] >> par Auteur.//

Piste : • Installer et configurer sa mini-box 4G : TP-Link TL-MR3020 + Huawei E3372 • Comment partager la connexion d'une clé 4G • Vidéo et flux vidéo (TV etc.) • Comment ajouter le secteur de démarrage à un projet WinOnCD 6 • Ventoy Multiboot USB • Bloquer les sites pour adultes sous Windows 10 (réglage de l'OS) • Mini-tutoriels • Préparation de la carte µ-SD pour un Raspberry Pi • Créer une Clé USB Windows 10 • Mise à niveau de Windows XP vers Windows 7

Documentation du Dr FRAPPE

Recherche

Navigation

Imprimer/exporter

Outils