replaced #!/bin/sh by #!/bin/bash to ensure compatibility on Debian-like Linux systems such as Ubuntu

This commit is contained in:
Axel Uhl
2014-07-16 11:31:14 +02:00
parent 0b1df0e60c
commit 8b4f4fa7e4
20 changed files with 20 additions and 22 deletions
@@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
#
# Copyright (c) 2006 Johannes E. Schindelin
#
@@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
#
# Copyright (c) 2006 Johannes E. Schindelin
#