From eb29e74d9003712a22474862596835cad34df092 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Sat, 23 Mar 2013 11:38:49 +0100 Subject: [PATCH] Use /bin/bash instead of /bin/sh --- mop/admin/mo-back-grab.sh | 2 +- mop/admin/mo-back-status.sh | 2 +- mop/admin/mo-backup.sh | 2 +- submit/create-certs.sh | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/mop/admin/mo-back-grab.sh b/mop/admin/mo-back-grab.sh index 5fa7181..bfdf71c 100755 --- 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 1a51fb5..5c4088f 100755 --- 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 df05392..9f85532 100755 --- 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 2e33caa..c52e3d6 100755 --- 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 -- 2.39.2