From 9964e620d0b7dce1969d1cfc8f96994fe8343558 Mon Sep 17 00:00:00 2001 From: HubertHuckevoll Date: Thu, 11 Jul 2024 19:28:38 +0200 Subject: [PATCH] make sure Swat gets "Ctrl+C" on Linux. I don't quite understand the solution but it does work ;-) --- bin/target | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/bin/target b/bin/target index 6619d22a1..9758d1374 100755 --- a/bin/target +++ b/bin/target @@ -38,14 +38,16 @@ fi if [ "$GEOS_CDROM_DRIVE" != "" ]; then if [ -f "$GEOS_CDROM_DRIVE" ]; then echo imgmount r "$GEOS_CDROM_DRIVE" -t iso >> ensemble/init.bat - else + else echo mount r $GEOS_CDROM_DRIVE -t cdrom >> ensemble/init.bat fi fi if [ -f "ensemble/init.bat" ]; then echo swatgo >> ensemble/init.bat fi +set -m $BASEBOX -conf $ROOT_DIR/bin/basebox.conf -conf $LOCAL_ROOT/basebox_user.conf >/dev/null 2>&1 & +set +m cd $OLD_PATH clear