Replace #! /bin/bash with #!/usr/bin/env bash

Author: cxandru

antifmt.sh

@@ -1,4 +1,4 @@
-#! /bin/bash
+#!/usr/bin/env bash
 
 # repair all the creative stuff students submit
 # - unzip all compressed files/dirs (w/o directory structure)

dupes.sh

@@ -1,4 +1,4 @@
-#! /bin/bash
+#!/usr/bin/env bash
 
 MYDIR="${0%/*}"
 DIFF="diff --ignore-all-space --minimal --side-by-side --width=160 --left-column"

hak3.sh

@@ -1,4 +1,4 @@
-#! /bin/bash
+#!/usr/bin/env bash
 
 # partition ALL SUBDIRECTORIES in equal parts into the folders given as arguments
 

mail_TAs.sh

@@ -1,4 +1,4 @@
-#! /bin/bash
+#!/usr/bin/env bash
 
 if [! -f config.sh]; then
     echo "Expecting configuration in config.sh. Refer to the template file config_template.sh"

rgrade.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Start grading in a randomly chosen, ungraded submission folder
 

verdeel.sh

@@ -1,4 +1,4 @@
-#! /bin/bash
+#!/usr/bin/env bash
 
 # TODO: 
 # - distribution of csv files to TA's is not currently handled

wizard.sh

@@ -1,4 +1,4 @@
-#! /bin/bash
+#!/usr/bin/env bash
 
 cat<<EOF
  _________________________________