From 1648c9b3e3cb3ded372d9d1f4487269658dae5cb Mon Sep 17 00:00:00 2001 From: Eric House Date: Fri, 3 Nov 2017 08:04:38 -0700 Subject: [PATCH] tweak to start GTK games and run a long time I'm trying to fix game-start-time right now.... --- xwords4/linux/scripts/start-pair.sh | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) diff --git a/xwords4/linux/scripts/start-pair.sh b/xwords4/linux/scripts/start-pair.sh index 767169b6c..c579123a1 100755 --- a/xwords4/linux/scripts/start-pair.sh +++ b/xwords4/linux/scripts/start-pair.sh @@ -3,11 +3,13 @@ set -e -u IN_SEQ='' -HTTP='' +HTTP='--use-http' +CURSES='--curses' +SLEEP_SEC=10000 usage() { [ $# -gt 0 ] && echo "ERROR: $1" - echo "usage: $0 --in-sequence|--at-once [--use-http]" + echo "usage: $0 --in-sequence|--at-once [--no-use-http] [--gtk]" cat </dev/null 2>>$LOG & @@ -71,7 +76,7 @@ for GAME in $(seq 1); do done done -[ -n "${PIDS}" ] && sleep 10 +[ -n "${PIDS}" ] && sleep $SLEEP_SEC for PID in $PIDS; do kill $PID done