diff options
Diffstat (limited to 'new/merge-results.sh')
| -rwxr-xr-x[-rw-r--r--] | new/merge-results.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/new/merge-results.sh b/new/merge-results.sh index ed89062..5459897 100644..100755 --- a/new/merge-results.sh +++ b/new/merge-results.sh @@ -1,5 +1,11 @@ #!/usr/bin/env bash +echo "[ok] remove existing aggregation file" +rm -f results/agent-total.csv +echo "[ok] cat everything into agent-total.csv" cat results/*.csv > results/agent-total.csv +echo "[ok] cleaning up the file" gsed -i '/^time/d' results/agent-total.csv -gsed -i '1i time (s), x (m), y (m), z (m)' results/agent-total.csv +echo "[ok] inserting header" +gsed -i '1i time (s), x (m), y (m), z (m), domain' results/agent-total.csv +echo "[ok] done" |