sschuberth/dev-scripts — pull request #2 by andrewbasterfield (2014-09-05 15:01:44+00:00)
Title: Change shebang to bash

as we have many bashisms which makes dash (/bin/sh on Debian) unhappy