Add bash linting to CI
We have linting for CPP, we have linting for Python: it is time for lining bash. Shellcheck is a common/standard tool frequently used (and already recommended somewhere in our docs). We should add this as a job to the CI.
We have linting for CPP, we have linting for Python: it is time for lining bash. Shellcheck is a common/standard tool frequently used (and already recommended somewhere in our docs). We should add this as a job to the CI.