3 Commits (1c1d74c5ec49e5ab7e2d664e557c61745d1995e6)

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