cw5_marking/mk_cw5
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 24 Oct 2025 11:26:43 +0100
changeset 1018 fd6a64c53f0e
parent 978 06b9ef3d5700
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
978
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     1
#!/bin/bash
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
###set -e
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     4
trap "exit" INT
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
files=${1:-assignment*}
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
for sd in $files; do
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
    echo -e "\n"
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
    echo $sd/cw5/cw05.sc
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
    if test -f $sd/cw5/cw05.sc; then
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    13
	echo -e " FILE EXITS\n"
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    14
	cd $sd/cw5
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    15
	if test -f ../DONE5.txt; then
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    16
	    echo "DONE5.txt file exists."
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    17
	    cat ../DONE5.txt
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    18
	else
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    19
	    touch .
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    20
	    cp ../../../../cw5_marking/cw5_test.sh .
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    21
	    cp ../../../../cw5_marking/c.sc .
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    22
	    cp ../../../../cw5_marking/c{1,2,3,4,5,6}.sc .
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    23
	    cp ../../../../cw5_marking/c{1,2,3}_add.sc .
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    24
	    cp ../../../../cw5_marking/*.fun .
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    25
	    cp ../../../../cw5_marking/mand.out .
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    26
	    #rm -rf /Users/cu/.ammonite/cache/3.0.0-M2/*
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    27
	    ./cw5_test.sh output
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    28
	    rm cw5_test.sh
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    29
	    rm c.sc
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    30
	    rm c{1,2,3,4,5,6}.sc
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    31
	    rm c{1,2,3}_add.sc
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    32
	    rm *.fun
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    33
	    #rm mand.out
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    34
	fi
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    35
	cd ..
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    36
	cd ..
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    37
    else
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    38
	echo -e " FILE cw05.sc DOES NOT EXITS\n"
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    39
	echo -e " FILE cw05.sc DOES NOT EXITS\n 0.0" > $sd/DONE5.txt
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    40
    fi
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    41
done
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    42
06b9ef3d5700 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    43