3 Commits (30a8a5d3e2f36e395c439c3346ef96e40e7bd277)

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