Comment créer une partition de domicile séparée après l’installation d’Ubuntu

• Chris Hoffman

  @chrisbhoffman

• 17 juin 2012, 6:00am EDT

Ubuntu n’utilise pas de partition /home séparée par défaut, bien que de nombreux utilisateurs de Linux en préfèrent une. L’utilisation d’une partition d’accueil séparée vous permet de réinstaller Ubuntu sans perdre vos fichiers et paramètres personnels.

Bien qu’une partition d’accueil séparée soit normalement choisie lors de l’installation, vous pouvez également migrer vers une partition d’accueil séparée après avoir installé Ubuntu – cela demande un peu de travail, cependant.

Lors de l’installation d’Ubuntu

Créer une partition d’accueil séparée lors de l’installation d’Ubuntu est facile. Choisissez l’option d’installation « Something Else » pour utiliser une disposition de partition personnalisée et créer plusieurs partitions. Définissez le point de montage d’une de vos partitions comme / – qui contiendra le système de fichiers racine – et le point de montage d’une autre partition comme /home. Lorsque vous installerez Ubuntu dans le futur, vous pourrez à nouveau définir votre ancienne partition domestique comme /home – mais assurez-vous de décocher la case Format ou vos fichiers seront supprimés.

Après l’installation d’Ubuntu

Si vous ne créez pas de partition domestique séparée lors de l’installation d’Ubuntu, vous n’avez pas à réinstaller Ubuntu depuis le début. Pour migrer vers une partition domestique séparée après l’installation, vous devrez créer une nouvelle partition (ce qui peut nécessiter de redimensionner vos partitions existantes), copier les fichiers de votre répertoire domestique existant sur cette partition et indiquer à Ubuntu de monter la nouvelle partition dans /home.

Étape 1 : créer une nouvelle partition

Si vous avez de l’espace libre, cette étape est facile. Si ce n’est pas le cas, vous devrez redimensionner votre partition système et créer une nouvelle partition dans l’espace libre. Suivez notre guide sur le redimensionnement des partitions Ubuntu pour réaliser cette étape. Si vous avez de l’espace libre ou que vous n’avez pas besoin de redimensionner une partition système, vous pouvez simplement installer GParted et créer la partition sans redémarrer à partir d’un CD live – vous voudrez créer une partition ext4.

Étape 2 : Copier les fichiers personnels sur la nouvelle partition

Ubuntu facilite le montage de la nouvelle partition – il suffit de la cliquer sous Périphériques dans le gestionnaire de fichiers. Après l’avoir fait, cliquez sur le menu Go et sélectionnez Location pour afficher son point de montage.

Lancez un terminal et exécutez la commande suivante pour créer une copie de votre répertoire /home actuel sur la nouvelle partition, où /mount/location est l’emplacement de votre partition montée:

sudo cp -Rp /home/* /mount/location

Vous verrez une erreur concernant un répertoire .gvfs – c’est normal, vous pouvez l’ignorer.

Vous devriez vérifier le nouveau répertoire personnel pour vérifier qu’il contient vos fichiers. Cependant, nous ne supprimerons pas encore l’ancien répertoire personnel.

Étape 3 : Localiser l’UUID de la nouvelle partition

La longue chaîne à l’aspect aléatoire ci-dessus est en fait l’UUID de la partition, et nous en aurons besoin pour ajouter la partition à notre fichier fstab, qui indique à Linux où monter les partitions au démarrage. Vous pouvez également localiser l’UUID de la partition en exécutant la commande suivante dans un terminal :

sudo blkid

Étape 4 : Modifier le fichier fstab

Avant de modifier notre fichier fstab, nous devrions créer une copie de sauvegarde que nous pouvons restaurer, juste au cas où :

sudo cp /etc/fstab /etc/fstab.backup

Puis, exécutez la commande suivante pour ouvrir le fichier fstab dans gedit. Vous pouvez également utiliser un autre éditeur de texte, si vous préférez.

gksu gedit /etc/fstab

Ajoutez le texte suivant au fichier fstab sur une nouvelle ligne, en remplaçant la partie _____ par l’UUID complet de votre nouvelle partition domestique provenant de la commande sudo blkid ci-dessus :

UUID=_____ /home ext4 nodev,nosuid 0 2

Enregistrez le fichier après avoir ajouté la ligne.

Etape 5 : Déplacement du répertoire d’accueil &Redémarrage

Depuis un terminal, exécutez la commande suivante pour quitter votre répertoire d’accueil, déplacer votre répertoire d’accueil actuel vers un emplacement de remplacement, et créer un nouveau répertoire d’accueil vide sur lequel votre nouvelle partition sera montée :

cd / && sudo mv /home /home_old && sudo mkdir /home

Redémarrez votre ordinateur après avoir exécuté cette commande. Vous pouvez redémarrer avec la commande suivante :

sudo shutdown -r now

Clean Up

Après avoir redémarré votre ordinateur, vous devriez pouvoir vous connecter normalement. Ubuntu utilise maintenant la partition domestique séparée. Après vous être assuré que tout s’est bien passé et que vous avez toujours tous vos fichiers dans votre répertoire /home – au cas où – vous pouvez vous pouvez supprimer votre répertoire /home_old pour libérer de l’espace :

sudo rm -rf /home_old