mop/eval/mo-ev-all.sh

   1 #!/bin/bash
   2 # Run `ev' on all solutions of given tasks
   3
   4 [ -n "$1" ] || { echo "Usage: mo-ev-all <tasks>" ; exit 1 ; }
   5
   6 while [ -n "$1" ] ; do
   7         for user in `bin/mo-get-users` ; do
   8                 echo -e "\n### USER $user TASK $1 ###\n"
   9                 bin/ev $user $1
  10         done
  11         shift
  12 done