From 738920c1dd8bbf4ab7fd68777c00f8936aa4f1c7 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jos=C3=A9=20Fonseca?= <jose.r.fonseca@gmail.com>
Date: Tue, 10 May 2011 20:37:27 +0100
Subject: [PATCH] Add script to recompress traces.

---
 scripts/tracerepack.sh | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100755 scripts/tracerepack.sh

diff --git a/scripts/tracerepack.sh b/scripts/tracerepack.sh
new file mode 100755
index 0000000..9152b5d
--- /dev/null
+++ b/scripts/tracerepack.sh
@@ -0,0 +1,22 @@
+#!/bin/sh
+# Script to recompress the traces
+
+set -e
+
+for TRACE
+do
+    gzip -l "$TRACE" | sed -n '2p' | while read COMPRESSED UNCOMPRESSED RATIO FILENAME
+    do
+        gzip -dc "$TRACE" | pv -s "$UNCOMPRESSED" | gzip --best --no-name > "$TRACE.pack"
+    done
+    COMPRESSED=`stat -c %s "$TRACE"`
+    RECOMPRESSED=`stat -c %s "$TRACE.pack"`
+    echo "$COMPRESSED -> $RECOMPRESSED"
+    if [ "$RECOMPRESSED" -lt "$COMPRESSED" ]
+    then
+        touch -r "$TRACE" "$TRACE.pack"
+        mv "$TRACE.pack" "$TRACE"
+    else
+        rm "$TRACE.pack"
+    fi
+done
-- 
2.43.0