diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-08-11 17:00:21 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-08-11 17:00:21 +0000 |
| commit | d6fed80358d6d8b24f81055e8ea0ac7ed863978d (patch) | |
| tree | 788dd40bf104e2bf22a2457c0e54c2f89cc34be5 /tools/control-machines.sh | |
| parent | 434a421ecc2a77e655a5c46087ac6f27c04ce489 (diff) | |
| download | boca-d6fed80358d6d8b24f81055e8ea0ac7ed863978d.tar.gz boca-d6fed80358d6d8b24f81055e8ea0ac7ed863978d.zip | |
avoid repetitive displaying
Diffstat (limited to 'tools/control-machines.sh')
| -rw-r--r-- | tools/control-machines.sh | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/tools/control-machines.sh b/tools/control-machines.sh index e46600b..692e47c 100644 --- a/tools/control-machines.sh +++ b/tools/control-machines.sh @@ -28,12 +28,11 @@ else done else for i in `ls runs-submitted*.txt`; do - cat $i | while read lin; do - l1=`echo $lin | cut -d'-' -f1` - q=`grep -c $l1 runs-submitted*.txt | wc -l` + cat $i|cut -d'-' -f1 |sort -u| while read lin; do + q=`grep -c $lin runs-submitted*.txt | wc -l` if [ "$q" != "1" ]; then - echo "===Computer $l1 used by multiple users" - grep -c $l1 runs-submitted*.txt + echo "===Computer $lin used by multiple users" + grep -c $lin runs-submitted*.txt fi done done |