From cf9b6300c73f1d63647721f49309957d3691dd0f Mon Sep 17 00:00:00 2001 From: emily Date: Fri, 3 Nov 2023 14:08:40 +0100 Subject: [PATCH] Add convenience shell script for running texttests --- start_texttest.sh | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100755 start_texttest.sh diff --git a/start_texttest.sh b/start_texttest.sh new file mode 100755 index 00000000..805922b1 --- /dev/null +++ b/start_texttest.sh @@ -0,0 +1,7 @@ +#!/bin/sh + +if [ ! -d "venv" ]; then + python -m venv venv +fi +venv/bin/pip install texttest +venv/bin/texttest -d . -con "$@"