[1] GitHub - direnv/direnv: unclutter your .profile, 2024-06-25T05:14:01.000Z https://github.com/direnv/direnv