New timing extractor script

Author: j-woz

workflows/p3b1_mlrMBO/scripts/get-time.sh

@@ -0,0 +1,12 @@
+#!/bin/zsh
+set -eu
+
+# GET TIME
+# Extract startup time info from Python log output
+
+FILE=$1
+
+START=$( grep "WORKFLOW START" ${FILE} | zclm 3 )
+STOP=$( grep "DO_N_FOLD START" ${FILE} | tail -1 | zclm 7 )
+
+print $(( STOP - START ))