-
Notifications
You must be signed in to change notification settings - Fork 20
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
Add shellcheck step to PR process. #1507
Comments
One extra comment (going here, but applies to the analogous issues in other repositories): we might want to promote a more generic shell than Bash! Particularly now that it isn't the default shell on MacOS, but there are minor efficiencies in going with some other shells in particular cases (this made a difference to runtimes for git under Linux). The Debian Linux distribution actually deprecated the use of Bash in favor of a generic POSIX shell (with support for local variables the only non-standard feature). The only thing that's been more difficult to work around after avoiding bash has been the failure status of chains of piped commands. See |
Should we add the following from the docs?
|
@trackleft : the option to deduce it from the files is nicer (particularly when it can follow the shebang line, which makes it easy to change the shell actually used by script files). That way it can check Bash-specific details for scripts that still need it, but still complain about Bashisims in generic shell scripts. |
Motivation
It would be good to find errors in our bash script files before updating the main branch.
Is your feature request related to a problem? Please describe.
This is more of a prevention step to make it easier for non bash experts to contribute bash scripts to the project.
Proposed Resolution
Use something similar to this.
The text was updated successfully, but these errors were encountered: