7 lines
178 B
Bash
7 lines
178 B
Bash
get_xp() {
|
|
grep -rn "identifier=$1" ./out/*/info.txt|grep -Po "^./out/\w+"|grep -Po '\w+$$'|uniq
|
|
}
|
|
|
|
extract_us() {
|
|
grep -Po '\d+µs' ./out/$1-$2/res/*.csv | grep -Po '\d+'
|
|
}
|