From da7ec287a7e9930794667d274582f0893602712d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= <john@ankarstrom.se>
Date: Sun, 13 Dec 2020 01:53:48 +0100
Subject: Add 'dif' tool

dif calculates the difference between two avg results stored in
separate files.
---
 dif | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 dif

diff --git a/dif b/dif
new file mode 100755
index 0000000..4d34823
--- /dev/null
+++ b/dif
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+# dif -- print differences between two typ result files
+
+awk -vn=`wc -l "$1" | cut -d\  -f1` '
+	NR <= n {
+		v[FNR] += $1
+		$1 = ""
+		sub(/^ /, "", $0)
+		t[FNR] = $0
+	}
+	NR > n {
+		printf("%.4f\t%s\n", v[FNR] - $1, t[FNR])
+	}' "$1" "$2"
-- 
cgit v1.2.3