Ubuntu-fr

Arbiel

Demande d'éclaircissement sur option --rbind de "mount"

J'ai longtemps considéré l'option --bind de la commande "mount" comme une manière de renommer un répertoire. Ainsi

sudo mount --bind /rep1 /rep2

permet de référencer /rep1/sous-répertoires/fichier par /rep2/sous-répertoires/fichier.
J'utilise cette possibilité pour adapter à un ordinateur cible un développement réalisé sur un ordinateur de développement, l'arborescence des fichiers de ces deux PC n'étant pas la même.

Je constate que ma vision est erronée puisque s'il existe dans /rep1 un point de montage de quoi que ce soit, résultant par exemple d'une commande telle que

sudo mount /dev/… /rep1/partition

alors /rep2/partition n'est pas un point de montage, et continue de référencer le répertoire /rep1/partition sous-jacent au point de montage /rep1/partition.

Pour reconduire le point de montage vers /rep2/partition, j'ai utilisé l'option rbind

sudo mount --rbind /rep1 /rep2

qui répond bien à mon besoin.

Cependant, j'ai également monté encore autre chose sur /rep1/partition/dossier. Si /rep2/partition est maintenant bien un point de montage de /dev/…, tel n'est pas le cas de rep2/partition/dossier qui reste le répertoire /rep1/partition/dossier et ne référence absolument pas ce que j'ai monté sur /rep1/partition/dossier.

Tout ceci peut paraître un peu compliqué, et je peux éventuellement modifier mon application ou mes fichiers fstab.

Mais j'aimerais bien comprendre les mécanismes mis en œuvre par mount, et savoir quelle erreur j'ai bien pu faire, car je suppose que "mount --rbind" fonctionne parfaitement.

D'avance merci à quiconque voudra bien éclairer ma chandelle.

---

Arbiel Perlacremaz
LDLC Aurore NK3S-8-S4 Ubuntu 20.04
Abandon d'azerty au profit de bépo, de google au profit de Lilo et de la messagerie électronique violable au profit de Protonmail, une messagerie chiffrée de poste de travail à poste de travail.