Use /bin/bash instead of /bin/sh

diff --git a/mop/admin/mo-back-grab.sh b/mop/admin/mo-back-grab.sh
index 5fa7181bde7158bbebe9c2e12524baf4158c683c..bfdf71ca567ed19a6bb5eeddbaf25e83230151b3 100755 (executable)
--- a/mop/admin/mo-back-grab.sh
+++ b/mop/admin/mo-back-grab.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # Find all submits in the local copy of contestants' home directories
 # (as created by mo-backup) and copy them to solutions/.
 

diff --git a/mop/admin/mo-back-status.sh b/mop/admin/mo-back-status.sh
index 1a51fb5e02ad74eb7b3de98cd38ab5dac7969a25..5c4088fc1ac664f0164f76533b2dbc226e96bf54 100755 (executable)
--- a/mop/admin/mo-back-status.sh
+++ b/mop/admin/mo-back-status.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # Find all submits in the local copy of contestants' home directories
 # (as created by mo-backup) and print their status.
 

diff --git a/mop/admin/mo-backup.sh b/mop/admin/mo-backup.sh
index df05392e088f6d5c3c7448ba177cf9e3f36abd9e..9f8553274961b28d62a95797f385f38295383e61 100755 (executable)
--- a/mop/admin/mo-backup.sh
+++ b/mop/admin/mo-backup.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # A trivial script to back up contestants' home directories.
 
 if [ -z "$1" ] ; then

diff --git a/submit/create-certs.sh b/submit/create-certs.sh
index 2e33caa2e7f194ffe37666dc2e557ac9808b28ea..c52e3d634ba145e76cf106df8346276002b41e20 100755 (executable)
--- a/submit/create-certs.sh
+++ b/submit/create-certs.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # A script for creation of all the certificates used by submitd
 # (c) 2007 Martin Mares <mj@ucw.cz>