Organize in git repo again

.dockerignore

+logs/

.gitignore

+*.pickle
+.ipynb_checkpoints
+interop.seemann.io/**/index.html*
+interop.seemann.io/logs/latest
+interop.seemann.io/logs/logs.json
+.ssh
+logs/

.gitmodules

+[submodule "evaluation_tools"]
+	path = evaluation_tools
+	url = https://gitlab.cs.fau.de/sedrubal/masterarbeit/evaluation_tools.git

.mypy.ini

+[mypy]
+ignore_missing_imports = True

Dockerfile

+FROM alpine
+
+RUN    apk update \
+    && apk upgrade \
+    && apk add \
+	bash \
+	coreutils \
+	tmux \
+	git \
+	git-lfs \
+	openssh \
+	py3-beautifulsoup4 \
+	py3-matplotlib \
+	py3-requests \
+	py3-simplejson \
+	py3-termcolor \
+        py3-pip \
+    && pip3 install --upgrade yaspin \
+    && git config --global user.email "dev@sedrubal.de" \
+    && git config --global user.name "QUIC Interop Runner Results Bot"
+
+ADD .ssh/ /root/.ssh/
+
+ENV GIT_SSH_COMMAND="ssh -i /root/.ssh/id_ed25519"
+
+WORKDIR /srv/
+
+CMD ["sleep", "inf"]

build_image.sh

+#!/usr/bin/bash
+
+cd "$(dirname "$0")"
+
+exec docker build --tag=quic-interop-runner-results.frickeln.sedrubal.de .

evaluation_tools @ 9935c5da

+Subproject commit 9935c5da6702003a09af424c3d3d46d0a8e1e082

run.sh

+#!/bin/bash
+
+set -eu
+# set -x
+
+# sleep 6h between runs
+SLEEP_DURATION=21600
+
+# function status() {
+#     git status --untracked-files=no
+#     git lfs status
+# }
+
+function run() {
+	# echo "$(date --rfc-3339=seconds): Pull..."
+	# time git pull -r
+	echo "$(date --rfc-3339=seconds): Gather results..."
+	time ./gather_results.py
+	echo "$(date --rfc-3339=seconds): Inject secrets..."
+	time ./evaluation_tools/inject_secrets.py --clean ./logs/*
+	# echo "$(date --rfc-3339=seconds): Pull..."
+	# time git pull -r
+	# echo "$(date --rfc-3339=seconds): Git add..."
+	# time git add ./logs/
+	# echo "$(date --rfc-3339=seconds): Git Status"
+	# time git add ./logs/
+	# time status
+	# if git diff-index --cached --quiet HEAD; then
+	#     echo "$(date --rfc-3339=seconds): Nothing to commit"
+	# else
+	#     echo "$(date --rfc-3339=seconds): Git Commit"
+	#     time git commit -m "Add logs from run before $(date --rfc-3339=seconds)"
+	#     # echo "$(date --rfc-3339=seconds): Git Push..."
+	#     # time git push
+	# fi
+}
+
+while true; do
+	echo "$(date --rfc-3339=seconds): Running..."
+	run
+	echo "$(date --rfc-3339=seconds): Sleeping..."
+	sleep "${SLEEP_DURATION}"
+done

run_container.sh

+#!/bin/bash
+
+echo "[i] Starting takes a while, because the volume is large and must be tagged for SELinux first"
+
+exec docker run -d -v /srv/docker/quic-interop-runner-results/quic-interop-runner-results:/srv/:Z --name=quic-interop-runner-results.frickeln.sedrubal.de quic-interop-runner-results.frickeln.sedrubal.de

sync.sh

+#!/usr/bin/env sh
+
+set -eux
+
+HOST="[2001:1438:901:c200::1]"
+USER_ON_HOST="sysadmin"
+PATH_ON_HOST="/srv/docker/quic-interop-runner-results/quic-interop-runner-results/"
+
+# exec rsync -avzlxhi --info=progress2 --zc=zstd "${USER_ON_HOST}@${HOST}:${PATH_ON_HOST}" .
+exec rsync \
+    -avzlxhi \
+    --info=progress2 \
+    --zc=zstd \
+    --exclude='logs/*/*/' \
+    --include='logs/*/result.json' \
+    "${USER_ON_HOST}@${HOST}:${PATH_ON_HOST}" .