blob: 545989763042afd7db8f80862001a8f3fa529e68 (
plain)
1
2
3
4
5
6
7
8
9
10
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
echo "[ok] inserting header"
gsed -i '1i time (s), x (m), y (m), z (m), domain' results/agent-total.csv
echo "[ok] done"
|
