aboutsummaryrefslogtreecommitdiff
path: root/tools/control-machines.sh
diff options
context:
space:
mode:
authorCassio de Campos <cassiopc@gmail.com>2017-08-12 14:58:37 +0000
committerCassio de Campos <cassiopc@gmail.com>2017-08-12 14:58:37 +0000
commit4a96669616d1600604abfa21da5b410432e5b0a4 (patch)
tree88852b161f9a9bd0a54bceca38bad5af06330df6 /tools/control-machines.sh
parent7e53a3e24b103d4a272a0f54a51be51e31ba8b0d (diff)
downloadboca-4a96669616d1600604abfa21da5b410432e5b0a4.tar.gz
boca-4a96669616d1600604abfa21da5b410432e5b0a4.zip
suggest java class name, better output
Diffstat (limited to 'tools/control-machines.sh')
-rw-r--r--tools/control-machines.sh9
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