diff --git a/results/gen_dat.sh b/results/gen_dat.sh new file mode 100755 index 0000000..5d8c8aa --- /dev/null +++ b/results/gen_dat.sh @@ -0,0 +1,9 @@ +#!/bin/sh + +for logfile in *.log; do + + log_base_name=$(basename -s .log $logfile) + dat_output="${log_base_name}.dat" + cut -d, -f 1,3 $logfile | tr -d '()' | tr ',' '\t' > $dat_output + +done