Use /bin/bash instead of /bin/sh
authorDavid Bartley <dtbartle@csclub.uwaterloo.ca>
Sun, 16 Dec 2007 23:12:19 +0000 (18:12 -0500)
committerDavid Bartley <dtbartle@csclub.uwaterloo.ca>
Sun, 16 Dec 2007 23:12:19 +0000 (18:12 -0500)
csc-sync-debian
csc-sync-standard

index 7e46061..0d166c8 100755 (executable)
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/bash
 
 if [[ $# < 3 ]]; then
   echo 'Usage: sync local_dir rsync_host rsync_dir [trace_host [trace_dir]]'
index 2785381..61febab 100755 (executable)
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/bash
 
 if [[ $# != 3 ]]; then
   echo 'Usage: sync local_dir rsync_host rsync_dir'