Address shellcheck complaints
I took the non-controversial commits from !85 (closed) and added some commits. Run shellcheck on the GitLab CI.
Edited by Benjamin Drung
I took the non-controversial commits from !85 (closed) and added some commits. Run shellcheck on the GitLab CI.