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

tutoriel:partitions:deplacer_home [2019/05/18 19:40]
127.0.0.1 modification externe
tutoriel:partitions:deplacer_home [2019/06/09 09:59] (Version actuelle)
admin
Ligne 5: Ligne 5:
 Ce tutoriel décrit les logiciels à installer et la démarche à suivre pour déplacer le /home sur une partition dédiée. Ce tutoriel décrit les logiciels à installer et la démarche à suivre pour déplacer le /home sur une partition dédiée.
  
-===== - Pré-requis =====+====== - Pré-requis ​======
  
   * Avoir installé les paquets **[[apt>​gparted,​rsync]]**   * Avoir installé les paquets **[[apt>​gparted,​rsync]]**
Ligne 20: Ligne 20:
   - Effacer l'​ancienne partition après avoir vérifié que la nouvelle configuration fonctionne correctement.   - Effacer l'​ancienne partition après avoir vérifié que la nouvelle configuration fonctionne correctement.
  
-===== - Première étape : créer une nouvelle partition =====+====== - Première étape : créer une nouvelle partition ​======
  
 Repérez les identifiants des partitions (sous la forme **/​dev/​sdX1**) en lançant les commandes : Repérez les identifiants des partitions (sous la forme **/​dev/​sdX1**) en lançant les commandes :
Ligne 34: Ligne 34:
  
 Avec **gparted**,​ créez une partition vide formatée en **ext4 linux** qui sera notre nouvelle partition (**new**). Avec **gparted**,​ créez une partition vide formatée en **ext4 linux** qui sera notre nouvelle partition (**new**).
-===== - Autres étapes ===== 
  
-==== - Copier les fichiers de l'​ancienne partition vers la nouvelle ====+====== - Autres étapes ====== 
 + 
 +===== - Copier les fichiers de l'​ancienne partition vers la nouvelle ​=====
  
 Créez un répertoire **/new** pour monter la nouvelle partition : Créez un répertoire **/new** pour monter la nouvelle partition :
Ligne 58: Ligne 59:
 Il reste à modifier le fichier **/​etc/​fstab** de gestion des partitions pour indiquer à ubuntu la nouvelle organisation du disque dur. Il reste à modifier le fichier **/​etc/​fstab** de gestion des partitions pour indiquer à ubuntu la nouvelle organisation du disque dur.
  
-==== - Modifier le fichier /etc/fstab ====+===== - Modifier le fichier /​etc/​fstab ​=====
  
 Récupérez l'UUID de la nouvelle partition : Récupérez l'UUID de la nouvelle partition :
Ligne 79: Ligne 80:
  
 que le /home est maintenant sur la nouvelle partition. que le /home est maintenant sur la nouvelle partition.
-===== - Conclusion ===== 
  
-===== - Problèmes connus=====+====== - Conclusion ====== 
 + 
 +====== - Problèmes connus======
  
-===== - Voir aussi =====+====== - Voir aussi ======
  
   * (**fr**) [[https://​doc.ubuntu-fr.org/​tutoriel/​sauvegarder_home_avec_rsync]]   * (**fr**) [[https://​doc.ubuntu-fr.org/​tutoriel/​sauvegarder_home_avec_rsync]]

Navigation