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

Revert #216 and use which instead #309

Merged

cantino merged 1 commit into master from revert-216-and-use-which

Dec 10, 2022

Owner

cantino commented Dec 10, 2022

Based on #292 and @Efreak's analysis in #292 (comment), we're reverting #216 and just using which again instead of command -v.


Revert #216 and use which instead

Owner Author

cantino commented Dec 10, 2022

Should fix #292.

cantino mentioned this pull request

use realpath #304

Closed

cantino merged commit 3f2b5c4 into master

cantino deleted the revert-216-and-use-which branch

December 10, 2022 21:51

cantino mentioned this pull request

command -v when in root directory #292

Closed

cantino mentioned this pull request

Improve misc implementation in Bash #430

Merged

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