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}}

====== Ajouter ou déplacer une partition /home, /var ou autre après installation ======

Il peut arriver d'installer une distribution avec une seule partition (la partition / appelée racine).
On souhaiterait séparer le dossier utilisateur /home dans une autre partition.
Cet article décrit la création de cette partition et le déplacement des données associées.

Cela fonctionne quelle soit la partition qu'on souhaite ajouter (/var ...)

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

  * Installez les paquets **[[apt>gparted,gnome-disk-utility,nautilus-admin]]** ou en ligne de commande :<cli>$ sudo apt install gparted gnome-disk-utility nautilus-admin</cli>

===== Première étape : préparer la nouvelle partition =====

Démarrez le système su un **Live CD ou une clé Live USB**. Ainsi, les partitions seront inactives.

Lancez l'utilitaire **Disques** :{{ tutoriel:partitions:deplacer_home:live-disques-01.png?600 |}}

  - Cliquez sur les **engrenages** et sélectionnez **Redimensionner ...**{{ tutoriel:partitions:deplacer_home:live-disques-02.png?600 |}}{{ tutoriel:partitions:deplacer_home:live-disques-03.png?600 |}}Choisissez une taille laissant assez de place pour la racine :{{ tutoriel:partitions:deplacer_home:live-disques-04.png?600 |}}Résultat :{{ tutoriel:partitions:deplacer_home:live-disques-05.png?600 |}}
  - Cliquez sur l'espace vide puis sur le bouton <key>+</key> :{{ tutoriel:partitions:deplacer_home:live-disques-06.png?600 |}}Choisissez la taille de la nouvelle partition :{{ tutoriel:partitions:deplacer_home:live-disques-07.png?600 |}}Nommez-la **home**, en ext4 :{{ tutoriel:partitions:deplacer_home:live-disques-08.png?600 |}}
  - Résultat :{{ tutoriel:partitions:deplacer_home:live-disques-09.png?600 |}}

Redémarrez en enlevant le live cd. 

===== Autres étapes =====

Vous avez redémarré en enlevant le live cd.

==== Déplacement du home ====

Ouvrez un terminal (<key>C+A+T</key>).

Créez le répertoire **/new.home** et montez **/dev/sda2** dessus:<cli>$ sudo mkdir /new.home
$ sudo mount /dev/sda2 /new.home/</cli>

Recopiez-y le contenu de **/home** :<cli>$ sudo rsync -avzh /home/ /new.home/
...
sent 1.57M bytes  received 2.48K bytes  3.15M bytes/sec
total size is 4.87M  speedup is 3.09</cli><WRAP center round important 60%>
Attention aux "/" finaux : cela copie le contenu de /home (mais pas le /home lui même) sur la nouvelle partition.
</WRAP>Attendez que la console redonne la main.

Grâce au -a, les attributs (permissions, liens symboliques etc.) sont conservés.

Vérifiez :<cli>$ ls -la /new.home/
total 28
drwxr-xr-x  4 root root  4096 avril 22 10:43 .
drwxr-xr-x 25 root root  4096 avril 22 12:05 ..
drwx------  2 root root 16384 avril 22 11:38 lost+found
drwxr-xr-x 15 moi  moi   4096 avril 22 12:14 moi</cli>

Vous devez avoir un dossier du nom de **/(votre_nom)** ((votre_nom) --- ici, "moi" --- étant votre nom de compte), mais pas de dossier /home.

==== Modification du fichier /etc/fstab ====

Ouvrez l'utilitaire Disques :{{ tutoriel:partitions:deplacer_home:live-disques-09.png?600 |}}Cliquez sur la nouvelle partition (**/dev/sda2**).

Cliquez sur les engrenages et sélectionnez **Modifier les options de montage ...** :{{ tutoriel:partitions:deplacer_home:live-disques-10.png?600 |}}

{{ tutoriel:partitions:deplacer_home:live-disques-11.png?600 |}}Choisissez :
  - Désactivez les **Réglages par défaut de la session utilisateur**
  - S'identifier comme : choisir **UUID=...**
  - point de montage : /home
  - **defaults**
  - Type de système de fichiers : **ext4**
  - Cliquez sur <key>Valider</key> et donnez le mot de passe super-utilisateur

==== Démontage et neutralisation de l'ancien home ====

Neutralisez l'ancien /home en le renommant en /old.home et recréez immédiatement un home vide :
<cli>$ sudo mv /home /old.home
$ sudo mkdir /home</cli>

Votre ancien /home est maintenant neutralisé (mais récupérable en cas de besoin).<WRAP center round important 60%>
Ne redémarrez pas Ubuntu avant d'avoir recréé le répertoire /home : le système ne se lancerait pas.
</WRAP>

Le /home vide accueillera le point de montage (il sera reconnu par le système comme un pointage vers votre compte copié sur votre nouvelle partition). Vous avez maintenant un répertoire /mnt/old.home ainsi qu'un répertoire /mnt/home totalement vide, tous deux sur la racine.

Démontez la nouvelle partition et supprimez le répertoire de montage:
<cli>$ sudo umount /new.home
$ sudo rmdir /new.home</cli>

==== Redémarrage ====

Redémarrez la machine.

Si tout va bien, supprimez le répertoire /old.home désormais inutile.

===== Cas particulier : si le dossier /home est déjà dans une partition séparée =====

Il s'agit de changer de partition le **/home** qui est déjà sur une partition séparée

Le plus simple est de dupliquer la partition dans un emplacement vide du disque.

<WRAP center round info 60%>
Dans l'exemple, nous supposons que tout se passe sur le disque **/dev/sda**.

Nous voulons déplacer la partition /home actuellement sur **/dev/sda3** vers une nouvelle partition sur **/dev/sda**
</WRAP>

==== Duplication du home ====

Bootez sur une clé USB live pour que les partitions à manipuler soient inactives.

Lancez **Gparted**et :
  * **Libérez de la place** pour la nouvelle partition en redimensionnant la partition qui contient /home{{ tutoriel:partitions:deplacer_home:duplication-gparted-01.png?600 |}}
  * **Copiez** la partition contenant le répertoire /home.{{ tutoriel:partitions:deplacer_home:duplication-gparted-02.png?600 |}}
  * **Collez** la partition dans un espace inoccupé d'une taille au moins équivalente :{{ tutoriel:partitions:deplacer_home:duplication-gparted-03.png?600 |}}Cliquez sur <key>Coller</key> :{{ tutoriel:partitions:deplacer_home:duplication-gparted-04.png?600 |}}Appliquez toutes les opérations :{{ tutoriel:partitions:deplacer_home:duplication-gparted-05.png?600 |}}Cliquez sur <key>Appliquer</key>puis sur <key>Fermer</key>.
  * **Modifiez l'UUID** de la partition créée pour qu'il n'y ait pas de doublon :{{ tutoriel:partitions:deplacer_home:duplication-gparted-08.png?600 |}}Appliquez toutes les opérations :{{ tutoriel:partitions:deplacer_home:duplication-gparted-09.png?600 |}}Cliquez sur <key>Appliquer</key> puis sur <key>Fermer</key>

Et voici le résultat :{{ tutoriel:partitions:deplacer_home:duplication-gparted-10.png?600 |}}

Redémarrez la machine, retirer la clé et redémarrez normalement.

==== Modification du fichier /etc/fstab ====

Ouvrez l'utilitaire Disques :{{ tutoriel:partitions:deplacer_home:duplication-disques-01.png?600 |}}Cliquez sur la nouvelle partition (**/dev/sda2**).

Cliquez sur les engrenages et sélectionnez **Modifier les options de montage ...** :{{ tutoriel:partitions:deplacer_home:duplication-disques-02.png?600 |}}Choisissez :
  - Désactivez les **Réglages par défaut de la session utilisateur**
  - S'identifier comme : choisir **UUID=...**
  - **defaults**
  - point de montage : /home
  - Type de système de fichiers : **ext4**
  - Cliquez sur <key>Valider</key> et donnez le mot de passe super-utilisateur
{{ tutoriel:partitions:deplacer_home:duplication-disques-03.png?600 |}}

==== Démontage et neutralisation de l'ancien home ====

Neutralisez l'ancien /home en le renommant en /old.home et recréez immédiatement un home vide :<cli>$ sudo mv /home /old.home
$ sudo mkdir /home</cli>

Votre ancien /home est maintenant neutralisé (mais récupérable en cas de besoin).

éditez avec les droits d'administration le fichier **/etc/fstab** pour commenter ou supprimer la ligne de l'ancien home :
<code - /etc/fstab>
...
#UUID=b08fc496-6ef5-4cdc-8029-b0e33a7c2b0c /home ext4 defaults 0 0
UUID=46d2c2ca-26f1-4e09-b2cb-7f72d217d0ce /home ext4 defaults 0 0
</code>

<WRAP center round important 60%>
Ne redémarrez pas Ubuntu avant d'avoir recréé le répertoire /home : le système ne se lancerait pas.

Ni avant d'avoir modifié /etc/fstab (conflit entre deux home !)
</WRAP>

Le /home vide accueillera le point de montage (il sera reconnu par le système comme un pointage vers votre compte copié sur votre nouvelle partition). Vous avez maintenant un répertoire /mnt/old.home ainsi qu'un répertoire /mnt/home totalement vide, tous deux sur la racine.

==== Redémarrage final ====

Redémarrez la machine.

Avec l'utilitaire **Disques**, vous pouvez vérifier que l'ancienne partition n'est pas montée et que c'est la nouvelle qui est active.

Vous pouvez maintenant supprimer l'ancien home.

===== Conclusion =====

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

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

  * **(en)** [[http://]]
  * **(fr)** [[http://]]

----
//Basé sur << [[http://|Article]] >> par Auteur.//
Piste : • Techniques électroniques • Préparation de la carte µ-SD pour un Raspberry Pi • Astuces Nouveau PC sur Windows 10 • Convertir MP4 en WebM avec VLC • Photorec : récupérer des données effacées ou perdues sur un disque défectueux • DnsMasq : utiliser votre Raspberry Pi comme serveur DNS (et accélérer Internet)
Documentation du Dr FRAPPE

Recherche

Navigation

Imprimer/exporter

Outils
