X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6de03ecc4e630732984a0673512a5d15fd75e270..80d4f8dc8bb8317e68d5303c4c4dcb959b66041b:/tools/fix-paje-trace.sh

diff --git a/tools/fix-paje-trace.sh b/tools/fix-paje-trace.sh
index 5305d78b53..0d854900f5 100755
--- a/tools/fix-paje-trace.sh
+++ b/tools/fix-paje-trace.sh
@@ -1,7 +1,6 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
-# Copyright (c) 2010, 2014. The SimGrid Team.
-# All rights reserved.
+# Copyright (c) 2010-2017. The SimGrid Team. All rights reserved.
 
 # This program is free software; you can redistribute it and/or modify it
 # under the terms of the license (GNU LGPL) which comes with this package.
@@ -14,10 +13,10 @@ fi
 
 TRACE=$1
 echo "input: $TRACE"
-OUTPUT=`echo $TRACE | cut -d\. -f1`.fix.trace
+OUTPUT=$( echo $TRACE | cut -d\. -f1 ).fix.trace
 
-cat $TRACE | grep ^% > header
-DEFEVENTS=`cat header | grep Define | awk '{ print $3 }'`
+grep ^% < $TRACE > header
+DEFEVENTS=$(grep Define < header | awk '{ print $3 }')
 
 GREP=""
 GREP2=""
@@ -26,11 +25,11 @@ do
   GREP="/^$i /d; $GREP"
   GREP2="-e '^$i ' $GREP2"
 done
-GREP="/^%\ /d; /^%E/d; $GREP"
+GREP="/^%\ /d; /^%	/d; /^%E/d; $GREP"
 
-cat $TRACE | eval grep $GREP2 > types
+grep $GREP2 < $TRACE > types
 /bin/sed -e "$GREP" $TRACE > events
-cat events |  sort -n -k 2 -s > events.sorted
+sort -n -k 2 -s < events > events.sorted
 cat header types events.sorted > $OUTPUT
 rm types events events.sorted header