5 commits

Author	SHA1	Message	Date
Thomas Luzat	c8e600f397	fix(direnv): initialize properly direnv ... Closes #12038 Closes #12039 Co-authored-by: Carlo Sala <carlosalag@protonmail.com>	2023-11-15 12:54:50 +01:00
Amir Hosseini	465253396d	fix(direnv): use hook instead of export (#12000)	2023-10-22 10:30:25 +02:00
Michael Klemm	a3ea785cf5	direnv: check if direnv is installed (#8809)	2020-05-22 18:29:52 +02:00
Dan Rose	fe5ec4fe31	direnv: change direnv to not assume path (#8757) ... On Ubuntu, direnv is not installed in `/usr/local`.	2020-03-21 19:59:15 +01:00
Moritz Schwörer	6dee9f99d3	Add direnv plugin (#8666)	2020-03-20 13:38:40 +01:00