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)
mount
home-directory
Android Eve
la source
la source
Réponses:
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à.
la source
Tout d'abord, vous voulez l'UUID du lecteur afin qu'il puisse être monté de manière fiable.
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.Et ajoutez une ligne comme celle-ci:
Bien évidemment avec votre UUID, pas le mien. Enregistrez et redémarrez.
la source
/homerépertoire, et maintenant je ne peux plus du tout mon dossier personnel. Comment puis-je résoudre un tel problème/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.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.
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.
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.
la source
geditest uniquement pour l'environnement graphique,sudoeditc'est bien.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.la source