moss.sh

rm -rf /tmp/handins/*; mkdir -p /tmp/handins; cd /afs/cs.cmu.edu/academic/class/15150-s17/autolab/homework3/handin; for tarfile in *.tar; do tar -xf "$tarfile" -C /tmp/handins "code/hw03.sml" 2> /dev/null; mv /tmp/handins/code/hw03.sml "/tmp/handins/$tarfile.sml"; done; rm -r /tmp/handins/code;
python3 ~/private/filter.py /tmp/handins
~/private/moss -l ml -b ~/private/15150-TA/asgn/hw/03/src/dist/hw03.sml /tmp/handins/* && rm -rf /tmp/handins/*

cd /afs/cs.cmu.edu/academic/class/15150-s17/autolab/homework3/handin; rm -rf /tmp/handins/*; mkdir -p /tmp/handins; for tarfile in *.tar; do tar -xf "$tarfile" -C /tmp/handins hw03.pdf 2> /dev/null; pdftotext -q /tmp/handins/hw03.pdf "/tmp/handins/$tarfile.txt"; rm /tmp/handins/hw03.pdf; done; 
python3 ~/private/filter.py /tmp/handins
cd ~/private/15150-TA/asgn/hw/03/writeup/ && make && pdftotext bin/hw03-handout.pdf ~/private/hw03-handout.txt
~/private/moss -l ascii -b ~/private/hw03-handout.txt /tmp/handins/* && rm -rf /tmp/handins/*

rm -rf /tmp/handins/*; mkdir -p /tmp/handins; cd /afs/cs.cmu.edu/academic/class/15150-s17/autolab/homework11/handin; for tarfile in *.tar; do tar -xf "$tarfile" -C /tmp/handins "code/*" 2> /dev/null; cat /tmp/handins/code/**/*.sml > "/tmp/handins/$tarfile.sml"; rm -rf /tmp/handins/code; done; rm -r /tmp/handins/code;
python3 ~/private/filter.py /tmp/handins
cat ~/private/15150-TA/asgn/hw/11/src/dist/**/*.sml > /tmp/hw11-dist.sml
~/private/moss -l ml -b /tmp/hw11-dist.sml /tmp/handins/* && rm -rf /tmp/handins/*

rm -rf /tmp/handins/*; mkdir -p /tmp/handins; cd /afs/cs.cmu.edu/academic/class/15150-f16/autolab/homework11/handin; for tarfile in *.tar; do tar -xf "$tarfile" -C /tmp/handins "code/*" 2> /dev/null; cat /tmp/handins/code/**/*.sml > "/tmp/handins/$tarfile.sml"; rm -rf /tmp/handins/code; done; rm -r /tmp/handins/code;
python3 ~/private/filter.py /tmp/handins
cat ~/private/15150-TA/asgn/hw/11/src/dist/**/*.sml > /tmp/hw11-dist.sml
~/private/moss -l ml -b /tmp/hw11-dist.sml /tmp/handins/* && rm -rf /tmp/handins/*

wget --user-agent=Mozilla -E -r -p -l 2 -e robots=off -k http://moss.stanford.edu/results/90032303
tar cf moss.tar moss.stanford.edu/

unbuffer grep -i -m1 /tmp/handins/*.txt -e "contradiction" | tee /dev/tty | cut -d '@' -f 1 | cut -d '/' -f 4 | sort | uniq;