Option de montage

Jusqu'à présent, j'utilisais quotidiennement des points de montage, que ce soit pour mes périphériques ou des partitions de mes disques durs. C'est une des choses que j'apprécie sous linux/unix. De la flexibilité dans le montage, tout en sachant exactement où l'on veut poser ses petites affaires. Cependant, j'avais encore un petit soucis, qu'apparemment, je ne suis pas le seul à m'être posé. Effectivement, mes partitions correspondent à peu près à la découpe que je souhaite, mais dans le cas de mon répertoire de travail, je le monte à partir d'une copie de mon répertoire personnel. Ainsi, j'avais l'architecture suivante : @@/home/jop/ #répertoire personnel par défaut.@@%%% @@/jop/travail # architecture sur mon disque externe. @@ Je m'étais donc depuis longtemps résigné à faire un montage à côté, quite à faire un lien symbolique si nécessaire, n'ayant que très peu envie de chercher si une telle option existait dans un manuel quelconque, un patch obscur ou encore l'obligation de le coder soi-même. Heureusement, les coders d'outils GNU sont très très fort. Ils ont pensé à ce problème et utilisent l'option ''bind'' de mount pour régler ce litige. Il suffit donc de monter habituellement son file system, puis de faire une deuxième liaison : @@mount --bind /mnt/jop/travail /home/jop/travail@@ Petite astuce qui fonctionne à la perfection. Comme quoi, on n'en finit jamais d'apprendre !!