Author	SHA1	Message	Date
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