Bonjour, Je partage avec vous ma découverte d'hier. J'avais besoin d'apporter des modifications de manière dynamique à l'environnement de mon shell selon le dossier dans lequel je me trouve. Après une brève recherche, je suis tombé sur le paquet « direnv » (« Unclutter your .profile ») qui fait le boulot à la perfection ! Sébastien