Créer une partition domestique séparée dans Ubuntu

La licence Creative Commons
Cette œuvre est sous licence Creative Commons Attribution-ShareAlike 3.0 Unported License.

Note : Je ne maintiens plus ce tutoriel. Il fonctionne bien pour moi et beaucoup d’autres utilisateurs, mais certaines personnes se sont plaintes qu’il ne fonctionne pas pour elles, et je ne connais pas franchement assez ce processus pour aider les gens à dépanner en suivant ces étapes.

Si cela fonctionne pour vous, génial. Sinon, vous pouvez essayer le site de la communauté:
https://help.ubuntu.com/community/Partitioning/Home/Moving

Pour obtenir de l’aide à ce sujet, veuillez poster sur les forums Ubuntu.

Introduction
Disclaimers
Requirements
Faire la nouvelle partition
Utiliser la nouvelle partition
Que faire si ça ne fonctionne pas ?

Introduction

Ce guide sert à créer une partition /home séparée si vous avez déjà installé Ubuntu sans partition /home (c’est-à-dire que, /home est juste un dossier à l’intérieur de votre partition /).

Avoir une partition /home séparée vous permet de réinstaller Ubuntu plus facilement tout en préservant vos fichiers et paramètres personnels. C’est une question de commodité mais ce n’est pas infaillible. Vous devriez tout de même sauvegarder régulièrement vos données.

Important Disclaimers

  • Même si j’ai créé la forme de ce tutoriel, les étapes qui y sont décrites sont tirées directement d’un guide en texte seul (en ligne de commande) pour ce processus. Si vous pensez qu’il y a quelque chose d’erroné dans ces étapes, laissez un commentaire sur ce guide. Je n’ai pas créé ces étapes. J’ai juste pu les suivre moi-même avec succès et je voulais les présenter sous une forme plus conviviale pour les nouveaux utilisateurs.
  • Moi et d’autres personnes ont réussi à créer une partition /home séparée en utilisant ce tutoriel, mais il y a beaucoup de personnes qui ont eu des difficultés à réussir ce processus. Si vous n’êtes pas confiant dans ce que vous faites ou dans la réparation ou la récupération de ce processus si quelque chose va mal, alors ne tentez pas les instructions décrites ici. Je ne peux pas vous aider à résoudre les problèmes qui résultent du suivi de ce tutoriel.
  • Dans ce tutoriel, j’ai utilisé des tailles de partition extrêmement petites juste dans le but de créer des captures d’écran plus à jour. Si vous avez moins de 30 Go d’espace disque dur, je ne recommanderais pas de créer une partition /home séparée.
  • Créer une partition /home séparée implique de redimensionner au moins une partition existante. Dans presque tous les cas, le redimensionnement des partitions n’entraîne pas de perte de données, mais il existe toujours un risque (aussi faible soit-il) de perte de données, donc vous devriez sauvegarder vos données importantes avant de tenter de redimensionner vos partitions.

Requirements

Vous devez utiliser un CD live pour ce processus, pour deux raisons :

  1. Pour redimensionner votre partition / existante, elle doit être démontée. La seule façon de la démonter est qu’elle ne soit pas utilisée, ce qui signifie que vous ne pouvez pas démarrer sur votre installation Ubuntu régulière tout en la redimensionnant… ce qui signifie que vous avez besoin d’un live CD. Par défaut, le live CD Ubuntu ne monte pas automatiquement les partitions et les lecteurs internes, mais si vous remarquez par hasard que le lecteur apparaît sur le bureau, faites un clic droit dessus pour le démonter avant de lancer ce processus.
  2. Si vous foirez votre installation par accident, vous pouvez utiliser le live CD pour restaurer vos anciens paramètres et, dans la pire des situations, au moins récupérer vos fichiers importants

J’utilise l’exemple d’un CD de bureau Ubuntu et de GParted, mais vous pouvez très bien utiliser QTParted sur Knoppix ou DiskDrake sur PCLinuxOS.

Faire la nouvelle partition

Démarrez le CD Ubuntu Desktop et choisissez d’essayer Ubuntu sans l’installer.


Une fois que le bureau s’est chargé, allez dans Système > Administration >Éditeur de partition pour lancer GParted.


Dans GParted, trouvez la partition que vous voulez redimensionner afin de faire de la place pour votre partition /home à venir. Dans ce cas, je redimensionne /dev/sda1, mais votre partition peut être différente. Assurez-vous de garder une trace des noms de vos partitions – ces noms sont très importants (/dev/hda1, /dev/hdb1, /dev/sda2, etc.).

Pour faire de la place pour votre nouvelle partition (bientôt /home), cliquez avec le bouton droit de la souris sur une partition existante et sélectionnez Resize/Move


Avec votre souris, saisissez le côté droit de la partition et faites-la glisser à la taille que vous voulez. Cliquez ensuite sur Redimensionner/Déplacer


Vous devriez maintenant voir un nouvel espace appelé non alloué. Sélectionnez-le avec votre souris, puis allez dans Partition et sélectionnez Nouveau.


Sous Système de fichiers, sélectionnez Ext3. Cliquez ensuite sur Ajouter.


Une fois que vous avez configuré les partitions comme vous le souhaitez, cliquez sur Appliquer dans le menu principal, puis sur Appliquer dans le dialogue de confirmation qui en résulte pour appliquer les modifications.


Attendez que les modifications finissent d’être appliquées, cliquez sur Fermer, puis quittez GParted.

Maintenant, dans mon exemple, ma partition d’origine que j’ai réduite était /dev/sda1, et cela a créé une nouvelle partition appelée /dev/sda3, et mon dossier /home à ce stade vit toujours sur /dev/sda1. Il est très important que vous substituiez vos propres noms de partition appropriés à ceux que j’utilise.

Utilisation de la nouvelle partition


Allez dans Applications > Accessoires > Terminal pour lancer le terminal.

Maintenant, de retour dans le terminal, je vais monter /dev/sda1 et /dev/sda3 en collant ces commandes (n’oubliez pas de changer les noms de périphériques des partitions par ceux qui conviennent à votre configuration) :

sudo mkdir /old
sudo mount -t ext3 /dev/sda1 /old
sudo mkdir /new
sudo mount -t ext3 /dev/sda3 /new

Maintenant nous allons sauvegarder le répertoire /home sur l’ancienne partition et le déplacer sur la nouvelle partition :

cd /old/home
find . -depth -print0 | cpio –null –sparse -pvd /new/
sudo mv /old/home /old/home_backup
sudo mkdir /old/home

Oui, une de ces lignes a l’air vraiment compliquée – alors copiez et collez les commandes dans le terminal au lieu de les retaper.

Note : J’ai testé la deuxième commande moi-même, et elle fonctionne, mais certains ont souligné qu’il pourrait être judicieux de faire précéder les commandes de sudo au cas où l’un des autres utilisateurs aurait des sous-répertoires marqués manuellement comme illisibles pour l’utilisateur effectuant le déplacement. Comme je n’ai pas testé cela et que tous les répertoires et lisibles par tous par défaut, je propose ceci comme seulement une alternative au cas où la commande telle que donnée ne fonctionne pas :
sudo find . -depth -print0 | sudo cpio –null –sparse -pvd /new/

Puis, nous allons spécifier d’utiliser la nouvelle partition domestique comme /home :

sudo cp /old/etc/fstab /old/etc/fstab_backup
gksudo gedit /old/etc/fstab

Vous verrez alors le fichier /etc/fstab ouvert dans l’éditeur de texte Gedit. Ajoutez cette ligne à la fin du fichier:

/dev/sda3 /home ext3 nodev,nosuid 0 2

Enregistrez le fichier et quittez Gedit.

Après avoir redémarré, vous devriez maintenant utiliser votre nouvelle partition /home.

Si vous trouvez que vous manquez de place sur votre ancienne partition et que vous êtes plutôt confiant que tout fonctionne comme il se doit, alors allez-y et supprimez la sauvegarde de home:

sudo rm -rf /home_backup

Il est très important que vous colliez la commande ci-dessus. La retaper pourrait être extrêmement dangereux si vous vous trompez, et vous pourriez finir par effacer toute votre installation.

Et si ça ne marche pas ?

Si vous redémarrez et que vous ne pouvez pas vous connecter à cause de certaines erreurs ayant à voir avec le fichier $HOME/.dmrc et/ou le fichier .ICEauthority, ceci peut vous aider.

Démarrez en mode récupération (si vous ne savez pas comment faire, allez à cette section d’un autre tutoriel).


Une fois en mode récupération, tapez (malheureusement, vous ne pourrez pas copier et coller, alors faites attention à ce que vous tapez)

chown -R username:username /home/username
chmod 644 /home/username/.dmrc
chmod 644 /home/username/.ICEauthority
exit

où username est votre nom d’utilisateur réel. Évidemment, vous répéteriez les trois premières commandes pour tous les utilisateurs rencontrant le problème avant de taper exit.


Une fois que vous avez quitté le mode de récupération, reprenez le démarrage normal et connectez-vous.

Si, pour une raison quelconque, peu importe ce que vous essayez, le /home séparé ne fonctionne pas, c’est pourquoi nous avons un CD live, afin de pouvoir corriger les choses.

Démarrez le CD live, allez dans un terminal, et collez (en vous assurant de changer le nom du périphérique de la partition, bien sûr) :

sudo mkdir /recovery
sudo mount -t ext3 /dev/sda1 /recovery
sudo cp -R /recovery/home_backup /recovery/home
sudo cp /recovery/etc/fstab_backup /recovery/etc/fstab

Puis, redémarrez.

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée.