Comment remonter une partition différente en tant que / home?


15

Lorsque j'ai installé Ubuntu 10.04, je l'ai installé sur une seule partition de 16 Go qui comprend /, / boot, / home, etc.

J'ai une autre partition sur le système (ext3). Il est facilement accessible à partir du menu Places du bureau GNOME: je clique simplement sur cette icône de disque dur du système de fichiers dans le menu Places et il est automatiquement monté en tant que '/ media / 1326f40a-45df-4ec'.

Comment puis-je faire pour que la partition soit remontée en tant que / home à la place? (en permanence, c'est-à-dire)


FYI J'espère que cela vous aide à comprendre la commande Sudoedit. tutorialspoint.com/unix_commands/sudoedit.htm

Réponses:


12

Voici la documentation officielle d'Ubuntu pour passer à une partition séparée / home:

https://help.ubuntu.com/community/Partitioning/Home/Moving

Ignorez simplement l'étape de création d'une nouvelle partition telle que vous l'avez déjà.


1
Merci, +1 et accepté comme la réponse la plus complète, car le guide que vous avez pointé Le guide est écrit de telle manière qu'à tout moment en cas de panne du système, de panne de courant ou de redémarrage aléatoire qu'il n'aura pas un impact négatif sur le système et DEVRAIT se prémunir contre la possibilité que l'utilisateur supprime accidentellement son dossier personnel au cours du processus.
Android Eve

14

Tout d'abord, vous voulez l'UUID du lecteur afin qu'il puisse être monté de manière fiable.

sudo blkid

Cela renverra une liste de toutes vos partitions et de leurs UUID. Notez simplement l'UUID de la partition que vous souhaitez monter comme home.

Ensuite, il vous suffit de modifier pour monter /etc/fstabautomatiquement cette partition en tant que /home.

sudoedit /etc/fstab

Et ajoutez une ligne comme celle-ci:

UUID=0c89eb5d-ac58-46c0-b309-597b35a542e8 /home ext3 defaults,errors=remount-ro 0 1

Bien évidemment avec votre UUID, pas le mien. Enregistrez et redémarrez.


4
avant de redémarrer, vous devrez également copier tous les répertoires personnels de / home vers la nouvelle partition de sorte que lorsque vous redémarrez, vous et les autres utilisateurs, le cas échéant, ayez tous leurs paramètres / configuration intacts. Vous pouvez également le faire après le redémarrage, mais le faire avant vous évitera quelques surprises
binW

J'ai essayé de monter un dossier dans un lecteur, en tant que /homerépertoire, et maintenant je ne peux plus du tout mon dossier personnel. Comment puis-je résoudre un tel problème
Starx

@Starx Vous ne pouvez pas monter un endroit « profond » directement - vous devez monter son premier dispositif (comme ci - dessus) en /mnt/a-made-up-directory(changement qui, de toute évidence), puis ajouter une autre ligne à votre fstab: /mnt/a-made-up-directory/home /home bind defaults,bind 0 0. Cela suppose que le homedir que vous souhaitez monter se trouve à l'intérieur du lecteur sur lequel nous venons de monter /mnt/a-made-up-directory.
Oli

3

En recherchant un problème similaire, j'ai trouvé ce fil. Je voulais aborder quelques points.

Tout d'abord, à mon humble avis, l'UUID est désespéré et irréalisable. Il y a une meilleure solution que d'utiliser l'UUID qui fonctionne sur 10.04 d'Ubuntu. C'est d'utiliser le LABEL='label'.

Dans le fichier / etc / fstab, échangez l'UUID avec le LABEL='<label>' (et assurez-vous d'utiliser les guillemets simples). Avant de faire cela, assurez-vous que vous avez utilisé gparted pour ajouter une étiquette au lecteur. Cette étiquette est exactement comme l'étiquette que vous pourriez avoir créée pour identifier vos disquettes, vos lecteurs zip (pas des fichiers) ou même vos anciens disques durs sous Windows.

La prochaine chose que je voulais aborder, c'est qu'au-dessus de quelqu'un a donné la commande suivante.

sudoedit /etc/fstab

Cette commande que je n'ai jamais vue auparavant. Soit c'est quelque chose que je ne connaissais pas, soit c'est faux. Dans le cas où cela pourrait être faux, je corrigerai la syntaxe.

sudo gedit /etc/fstab

Enfin, j'apprécie la personne qui semble avoir donné la bonne réponse lorsque vous souhaitez avoir un dossier sous la racine de la partition comme domicile. La procédure décrite dans ce fil ne touche pas à cela même s'il s'agit de l'implémentation la plus appropriée. Vous devez toujours placer votre dossier de départ dans un dossier sous la partition au lieu de pousser votre dossier de départ dans le dossier racine de la partition.


geditest uniquement pour l'environnement graphique, sudoeditc'est bien.
Han

0

Si vous installez un nouveau système, le plus simple est de choisir une disposition de partition spéciale et de déclarer l'une des partitions comme /homeet une autre comme /.

L'effet est équivalent à l'édition fstabcomme dans les autres réponses, mais cette méthode a l'avantage de le faire dès le début.

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.