mop/mo-grab-remote

   1 #!/bin/bash
   2
   3 [ -n "$1" ] || { echo "Usage: mo-grab-remote <tasks>" ; exit 1 ; }
   4 [ -f config ] || { echo "Missing config file, check cwd." ; exit 1 ; }
   5 set -e
   6 . config
   7
   8 for user in `bin/mo-get-users` ; do
   9         echo -n "$user:"
  10         mkdir -p solutions/$user
  11         for t in $@ ; do
  12                 rm -rf solutions/$user/$t
  13                 D=$MO_ROOT/eval/submit/solutions/$user/$t
  14                 if [ -d $D ] ; then
  15                         echo -n " $t"
  16                         cp -a $D solutions/$user/$t
  17                 fi
  18         done
  19         echo
  20 done