direnv : petit mais costaud
direnv est un greffon au shell de votre terminal, qui s'exécute quand vous rentrez dans un répertoire contenant un fichier .envrc. Grâce à ce fichier, vous pouvez facilement configurer des variables d'environnement ou des outils localement à un dépôt de code. Cela permet d'harmoniser les pratiques au sein d'une équipe, facilement car direnv est un outil simple, non-intrusif et open source. Dans cet exposé je fais le tour de ces principales fonctionnalités et patterns d'utilisation.
Clément Hurlin
Clément a commencé sa carrière dans l'académie, avec une thèse concernant la vérification de programmes concurrents. Il a ensuite travaillé dans l'industrie, à la conception et la mise en production d'un compilateur et d'un prouveur pour un langage de programmation propriétaire dédié aux microkernels Linux-like. Après ça il a travaillé pour divers clients fintech et healthcare, avec une attention à la productivité développeur, à la qualité du tooling, du CI/CD, etc. Il est désormais directeur du département Build Systems chez ModusCreate, où il fait de la gestion de projet, de personnes; mais aussi toujours du code !