GNU/Linux >> Tutoriels Linux >  >> Ubuntu

Ubuntu - Comment monter de manière permanente une partition distincte en tant que dossier dans une partition d'accueil distincte ?

J'aimerais créer la situation suivante :

  • Une partition distincte pour le répertoire personnel de mon utilisateur,
  • Une deuxième partition séparée pour ~/Documents , et
  • Une troisième partition séparée pour ~/Videos et ~/Musique .

Atteindre le premier point ne semble pas difficile, et cela fait déjà l'objet de questions telles que :Comment puis-je déplacer le répertoire personnel vers une partition séparée ?

Atteindre les deux autres objectifs devrait suivre le même schéma, mais je ne sais pas si je dois prendre soin de l'ordre de montage quelque part/-comment (c'est-à-dire d'abord /home/utilisateur , puis /home/utilisateur/peu importe ). AFAIK la commande dans /etc/fstab n'a pas d'importance du tout.

Bien que cela puisse être plus facile à configurer, je ne le fais pas souhaitez faire des liens symboliques des répertoires XDG, à moins que d'autres solutions ne soient trop complexes.

Réponse acceptée :

TL, DR :Je recommande les liens symboliques.

Si vous montez une partition sur un point de montage qui ne se trouve pas dans la partition racine, vous devez veiller à monter d'abord la partition hôte et à démonter d'abord la partition hôte. Par exemple, si vous avez des partitions séparées pour / , /home et /home/htorque/Documents , alors vous devez monter /home avant /home/htorque/Documents . Si vous listez les partitions dans /etc/fstab , alors il suffit de lister /home avant /home/htorque/Documents , car les entrées sont montées dans l'ordre au démarrage. Ainsi, les points de montage imbriqués ne posent aucun problème en fonctionnement normal.

Les points de montage imbriqués peuvent poser problème dans des circonstances inhabituelles. Supposons que le disque contenant l'une des partitions tombe en panne ou que vous effectuiez une maintenance telle que le démontage d'un système de fichiers pour le déplacer vers un autre disque. Vous ne pouvez pas démonter /home sauf si vous avez démonté les partitions dont le point de montage se trouve dessus. Si /home n'est pas monté au démarrage car son système de fichiers est endommagé, alors /home/htorque/Documents ne sera pas monté non plus. Si vous décidez de renommer /home/torque/Documents , vous devrez d'abord démonter la partition. De plus, si à tout moment /home/htorque/Documents n'est pas monté et que vous déposez accidentellement un fichier dans ce répertoire, le fichier disparaîtra mystérieusement lorsque vous monterez ensuite /home/htorque/Documents .

Un cas où vous ne pourrez pas (commodément) utiliser les points de montage sous votre répertoire personnel est s'il est chiffré et monté lorsque vous vous connectez, par exemple la façon dont Ubuntu utilise ecryptfs si vous demandez que votre répertoire personnel soit chiffré. Vous devrez monter les autres partitions manuellement (ou à partir d'un script de connexion) par la suite, et veiller à les démonter avant de vous déconnecter.

Une limitation qui peut ou non être pertinente est que si vous voulez que votre répertoire personnel ne soit pas lisible publiquement mais que vous voulez par ex. votre musique soit publiquement lisible, alors le chemin vers votre répertoire musical ne doit pas passer par votre répertoire personnel. C'est un autre argument contre les points de montage sous votre répertoire personnel dans une circonstance spécifique.

En relation :Récursivité du lien symbolique - qu'est-ce qui le rend "réinitialisé" ?

Les montures liées ne vous achèteront pas beaucoup ici. Ils sont utiles lorsqu'un lien symbolique ne suffit pas, par exemple lorsque vous avez besoin que des fichiers soient disponibles dans un chroot. Mais ils combinent la lourde maintenance des points de montage avec certains des inconvénients des liens symboliques (les fichiers existent également ailleurs) ainsi que leurs propres inconvénients (plusieurs chemins canoniques vers un fichier nécessitent une attention particulière lors des sauvegardes, entre autres).

Je recommande donc de créer des partitions montées directement sur la partition racine (pas nécessairement directement sous le répertoire racine), et de créer des liens symboliques. Ou vous pouvez configurer un chemin différent pour ces répertoires dans ~/.config/user-dirs.dirs .


Ubuntu
  1. Comment chiffrer la partition d'accueil ?

  2. Comment installer Windows 7 à partir d'un fichier Iso sur une partition distincte d'Ubuntu ?

  3. Monter /tmp et /home sur un disque dur séparé ?

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

  5. Comment partitionner un vieil Imac ??

Comment installer FreeFileSync sur Ubuntu 18.04, 19.04, 16.04

Comment résoudre une erreur de montage de disque dans Ubuntu

Comment changer la couleur du dossier dans Ubuntu 20.04

Comment installer le serveur Ubuntu 20.04

Comment monter automatiquement une partition d'échange ?

Comment changer la couleur du dossier dans Ubuntu 22.04