Change generator for a new page

This commit is contained in:
Alexey Milovidov 2022-07-07 00:28:56 +02:00
parent af76e17e2e
commit 13889be1d4

View File

@ -1,5 +1,11 @@
#!/bin/bash
ls -1 */results/*.txt | while read file; do SYSTEM=$(echo "$file" | grep -oP '^[\w-]+'); SETUP=$(echo "$file" | sed -r -e 's/^.*\/([a-zA-Z0-9_.-]+)\.txt$/\1/'); echo "[{\"system\": \"${SYSTEM} (${SETUP})\", \"version\": \"\", \"data_size\": 100000000, \"time\": \"2022-07-01 00:00:00\", \"comments\": \"\", \"result\": [
ls -1 */results/*.txt | while read file
do
SYSTEM=$(echo "$file" | grep -oP '^[\w-]+');
SETUP=$(echo "$file" | sed -r -e 's/^.*\/([a-zA-Z0-9_.-]+)\.txt$/\1/');
echo "{\"system\": \"${SYSTEM}\", \"machine\": \"${SETUP}\", \"time\": \"$(git log -1 --pretty="format:%cs" $file)\", \"result\": [
$(grep -P '^\[.+\]' $file)
]}]" > ../website/benchmark/dbms/results/${SYSTEM}.${SETUP}.json; done
]},"
done