From 7834cb6cb082fce8644439191e1ee27db9a64601 Mon Sep 17 00:00:00 2001
From: poikilos <7557867+poikilos@users.noreply.github.com>
Date: Sun, 30 Jul 2023 20:39:35 -0400
Subject: [PATCH] Add a finetest runner.

---
 patches/finetest/bin/finetest-logged.sh | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100755 patches/finetest/bin/finetest-logged.sh

diff --git a/patches/finetest/bin/finetest-logged.sh b/patches/finetest/bin/finetest-logged.sh
new file mode 100755
index 0000000..db89858
--- /dev/null
+++ b/patches/finetest/bin/finetest-logged.sh
@@ -0,0 +1,17 @@
+#!/bin/bash
+BIN_DIR=~/finetest/bin
+TRY_BIN_DIR=~/finetest-220509/bin
+if [ -d "$TRY_BIN_DIR" ]; then
+    BIN_DIR=$TRY_BIN_DIR
+fi
+BIN=finetest
+ERR=debug.txt
+# OUT=out.txt
+ERR_PATH=$BIN_DIR/$ERR
+TAIL_PATH=$BIN_DIR/$ERR.tail.txt
+cd $BIN_DIR && ./$BIN --quiet >& $ERR_PATH
+if [ $? -ne 0 ]; then
+    tail -n 100 $ERR_PATH > $TAIL_PATH
+    # xmessage -file "$TAIL_PATH" -center
+    xmessage -file "$TAIL_PATH" -nearmouse
+fi