Change #!/bin/sh to #!/bin/bash - Merge of all PRs (!211) · Merge requests · Holland Computing Center / HCC docs · GitLab

Change #!/bin/sh to #!/bin/bash - Merge of all PRs

Closes !210 (merged) !209 (merged) !208 (merged) !207 (merged) !206 (merged) !205 (merged) !204 (merged) !203 (merged) !202 (merged)