Skip to content
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.

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

FIXED: Use "command -v" instead of "which" #150

Closed
wants to merge 1 commit into from

Conversation

ryandesign
Copy link
Contributor

The behavior of which is not standardized by POSIX. Some old implementations print their error messages to stdout instead of stderr, and don't return a nonzero exit code when they fail to find the given program. command -v on the other hand is in POSIX (optional in 2004 and required as of 2008).

The behavior of "which" is not standardized by POSIX. Some old
implementations print their error messages to stdout instead of stderr,
and don't return a nonzero exit code when they fail to find the given
program. "command -v" on the other hand is in POSIX (optional in 2004
and required as of 2008).
@fletcher
Copy link
Owner

fletcher commented Sep 8, 2018

I'll test. Not wedded to anything in particular, so whatever works best.

@fletcher fletcher changed the base branch from master to develop September 8, 2018 02:37
@fletcher fletcher changed the base branch from develop to master September 8, 2018 02:38
@fletcher
Copy link
Owner

fletcher commented Sep 8, 2018

I'll have to get to this later -- pull request was set to master instead of develop.

@ryandesign
Copy link
Contributor Author

pull request was set to master instead of develop

Sorry, I wasn't aware you wanted PRs made against a different branch. I am still rather new to git, and have not yet encountered this situation, so I am not certain how to adjust my PR now so that it is against a different branch.

@fletcher
Copy link
Owner

fletcher commented Sep 8, 2018

Not your fault -- I thought I had set the default branch previously, but apparently I didn't??

When I tried to change the PR, it seemed to make it much more complicated, which made it more risky than I wanted to get into at the moment. Easier to just change the files. ;) Probably tomorrow.

fletcher added a commit that referenced this pull request Sep 8, 2018
@fletcher fletcher closed this Sep 8, 2018
@ryandesign ryandesign deleted the which branch September 8, 2018 22:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants