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:start [2020/10/25 12:40] admintutoriel:partitions:deplacer_home:start [2022/08/13 21:58] (Version actuelle) – modification externe 127.0.0.1
Ligne 9: Ligne 9:
 Cela fonctionne quelle soit la partition qu'on souhaite ajouter (/var ...) Cela fonctionne quelle soit la partition qu'on souhaite ajouter (/var ...)
  
-====== Pré-requis ======+===== 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>   * 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 ======+===== 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. 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 |}}+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 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 |}} +  - 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 |}}+  - Résultat :{{ tutoriel:partitions:deplacer_home:live-disques-09.png?600 |}}
  
 Redémarrez en enlevant le live cd.  Redémarrez en enlevant le live cd. 
  
-====== Autres étapes ======+===== Autres étapes =====
  
 Vous avez redémarré en enlevant le live cd. Vous avez redémarré en enlevant le live cd.
  
-===== Déplacement du home =====+==== Déplacement du home ====
  
 Ouvrez un terminal (<key>C+A+T</key>). Ouvrez un terminal (<key>C+A+T</key>).
Ligne 54: Ligne 54:
 Vous devez avoir un dossier du nom de **/(votre_nom)** ((votre_nom) --- ici, "moi" --- étant votre nom de compte), mais pas de dossier /home. 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 =====+==== 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**).+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 |}}+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 :+{{ tutoriel:partitions:deplacer_home:live-disques-11.png?600 |}}Choisissez :
   - Désactivez les **Réglages par défaut de la session utilisateur**   - Désactivez les **Réglages par défaut de la session utilisateur**
   - S'identifier comme : choisir **UUID=...**   - S'identifier comme : choisir **UUID=...**
Ligne 68: Ligne 68:
   - Cliquez sur <key>Valider</key> et donnez le mot de passe super-utilisateur   - Cliquez sur <key>Valider</key> et donnez le mot de passe super-utilisateur
  
-===== Démontage et neutralisation de l'ancien home =====+==== 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 : Neutralisez l'ancien /home en le renommant en /old.home et recréez immédiatement un home vide :
Ligne 84: Ligne 84:
 $ sudo rmdir /new.home</cli> $ sudo rmdir /new.home</cli>
  
-===== Redémarrage =====+==== Redémarrage ====
  
 Redémarrez la machine. Redémarrez la machine.
Ligne 90: Ligne 90:
 Si tout va bien, supprimez le répertoire /old.home désormais inutile. 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 ======+===== 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 Il s'agit de changer de partition le **/home** qui est déjà sur une partition séparée
Ligne 102: Ligne 102:
 </WRAP> </WRAP>
  
-===== Duplication du home =====+==== Duplication du home ====
  
 Bootez sur une clé USB live pour que les partitions à manipuler soient inactives. Bootez sur une clé USB live pour que les partitions à manipuler soient inactives.
  
 Lancez **Gparted**et : 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 |}} +  * **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 |}} +  * **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>+  * **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>+  * **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 |}}+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. Redémarrez la machine, retirer la clé et redémarrez normalement.
  
-===== Modification du fichier /etc/fstab =====+==== 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**).+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 :+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**   - Désactivez les **Réglages par défaut de la session utilisateur**
   - S'identifier comme : choisir **UUID=...**   - S'identifier comme : choisir **UUID=...**
Ligne 127: Ligne 127:
   - Type de système de fichiers : **ext4**   - Type de système de fichiers : **ext4**
   - Cliquez sur <key>Valider</key> et donnez le mot de passe super-utilisateur   - Cliquez sur <key>Valider</key> et donnez le mot de passe super-utilisateur
-{{ :tutoriel:partitions:deplacer_home:duplication-disques-03.png?600 |}}+{{ tutoriel:partitions:deplacer_home:duplication-disques-03.png?600 |}}
  
-===== Démontage et neutralisation de l'ancien home =====+==== 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 Neutralisez l'ancien /home en le renommant en /old.home et recréez immédiatement un home vide :<cli>$ sudo mv /home /old.home
Ligne 151: Ligne 151:
 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. 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émarrage final ====
  
 Redémarrez la machine. Redémarrez la machine.
Ligne 159: Ligne 159:
 Vous pouvez maintenant supprimer l'ancien home. Vous pouvez maintenant supprimer l'ancien home.
  
-====== Conclusion ======+===== Conclusion =====
  
-====== Problèmes connus ======+===== Problèmes connus =====
  
-====== Voir aussi ======+===== Voir aussi =====
  
   * **(en)** [[http://]]   * **(en)** [[http://]]