3 source `dirname $0`/utils.sh
5 if [ ! -f $RUNS ]; then
6 echo "Error: please fill in $RUNS"
7 echo "Sambple entries are"
8 echo "user@REALM.EXAMPLE.COM%password:domain_controller"
12 for run in `cat $RUNS`; do
14 bash `dirname $0`/time_kinit.sh `echo $run|cut -d ":" -f 1`
15 bash `dirname $0`/time_join.sh `echo $run|cut -d ":" -f 1` `echo $run|cut -d ":" -f 2`
16 bash `dirname $0`/time_user.sh `echo $run|cut -d ":" -f 1` `echo $run|cut -d ":" -f 2`
17 bash `dirname $0`/time_group.sh `echo $run|cut -d ":" -f 1` `echo $run|cut -d ":" -f 2`