New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

don't rely on direnv to be in $PATH #447

Merged

Mic92 merged 1 commit into master from direnv-exe-check

Dec 18, 2023

Member

Mic92 commented Dec 18, 2023

fixes #446


          don't rely on direnv to be in $PATH

1d3d8b6

fixes #446

Mic92 marked this pull request as ready for review

December 18, 2023 12:46

Mic92 merged commit d18f048 into master

28 checks passed

Mic92 deleted the direnv-exe-check branch

December 18, 2023 12:51

kingarrrt mentioned this pull request

Fixup $direnv usage #449

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet