2 # Script to recompress the traces
8 gzip -l "$TRACE" | sed -n '2p' | while read COMPRESSED UNCOMPRESSED RATIO FILENAME
10 gzip -dc "$TRACE" | pv -s "$UNCOMPRESSED" | gzip --best --no-name > "$TRACE.pack"
12 COMPRESSED=`stat -c %s "$TRACE"`
13 RECOMPRESSED=`stat -c %s "$TRACE.pack"`
14 echo "$COMPRESSED -> $RECOMPRESSED"
15 if [ "$RECOMPRESSED" -lt "$COMPRESSED" ]
17 touch -r "$TRACE" "$TRACE.pack"
18 mv "$TRACE.pack" "$TRACE"