diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-08-12 14:58:37 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-08-12 14:58:37 +0000 |
| commit | 4a96669616d1600604abfa21da5b410432e5b0a4 (patch) | |
| tree | 88852b161f9a9bd0a54bceca38bad5af06330df6 /tools | |
| parent | 7e53a3e24b103d4a272a0f54a51be51e31ba8b0d (diff) | |
| download | boca-4a96669616d1600604abfa21da5b410432e5b0a4.tar.gz boca-4a96669616d1600604abfa21da5b410432e5b0a4.zip | |
suggest java class name, better output
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/control-machines.sh | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/tools/control-machines.sh b/tools/control-machines.sh index 692e47c..34620a8 100644 --- a/tools/control-machines.sh +++ b/tools/control-machines.sh @@ -29,10 +29,15 @@ else else for i in `ls runs-submitted*.txt`; do cat $i|cut -d'-' -f1 |sort -u| while read lin; do - q=`grep -c $lin runs-submitted*.txt | wc -l` + q=`grep -c $lin runs-submitted*.txt | grep -v ":0$" | wc -l` if [ "$q" != "1" ]; then echo "===Computer $lin used by multiple users" - grep -c $lin runs-submitted*.txt + grep -c $lin runs-submitted*.txt | grep -v ":0$" | while read line1; do + fname=`echo $line1 | cut -d':' -f1` + fname=`basename $fname .txt` + echo $fname + grep $lin ${fname}.try | cut -d'-' -f4 | while read line2; do date -d "@$line2"; done + done fi done done |