#!/bin/bash [ -n "$1" ] || { echo "Usage: mo-grab-remote " ; exit 1 ; } [ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; } set -e . config for user in `bin/mo-get-users` ; do echo -n "$user:" mkdir -p solutions/$user for t in $@ ; do rm -rf solutions/$user/$t D=$MO_ROOT/eval/submit/solutions/$user/$t if [ -d $D ] ; then echo -n " $t" cp -a $D solutions/$user/$t fi done echo done