initial commit

timing.sh

@@ -0,0 +1,15 @@
+#!/bin/bash
+
+timing() {
+    local start=$(($(date +%s%N)/1000000))
+    result=$($@)
+    local exit_code=$?
+    local end=$(($(date +%s%N)/1000000))
+    tookms=$((${end}-${start}))
+#    tooks=$(bc <<< "scale=3; $tookms/1000")
+    tooks=$(echo "scale=3; $tookms/1000" | bc | sed 's/^\./0./')
+#    echo >&2 "took ~${tookms}ms. exited with ${exit_code}"
+    echo $tooks $result
+    return $exit_code
+}
+