From f0ebc20d0438fc46be1d98fb3643bd4196cb64c9 Mon Sep 17 00:00:00 2001
From: Svjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Date: Sat, 29 May 2021 05:09:09 +0300
Subject: [PATCH] updated development scripts

---
 tools/commit and push |  4 +++-
 tools/debug           | 46 -------------------------------------------
 tools/update web site |  2 +-
 3 files changed, 4 insertions(+), 48 deletions(-)
 delete mode 100755 tools/debug

diff --git a/tools/commit and push b/tools/commit and push
index 057b511..5931849 100755
--- a/tools/commit and push	
+++ b/tools/commit and push	
@@ -1,5 +1,7 @@
 #!/bin/bash
-cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi;
+
+cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -- "$0" T; exit; fi;
+
 
 cd ..
 
diff --git a/tools/debug b/tools/debug
deleted file mode 100755
index 5640906..0000000
--- a/tools/debug
+++ /dev/null
@@ -1,46 +0,0 @@
-#!/bin/bash
-
-if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi
-
-#
-# This is a helper bash script that starts current Java project in debug mode
-# with JRebel attached. It also opens its own terminal window, so you can run
-# this script by simply clicking on it in file navigator.
-#
-#
-# Script assumes:
-#
-#    + GNU OS 
-#    + Gnome workspace
-#    + JRebel is installed in /opt/jrebel
-#
-
-
-cd "${0%/*}"
-cd ..
-
-
-while true; do
-
-    # clear screen
-    printf "\033c"
-
-    # enable debugging
-    export DEBUG_OPTIONS="-Xdebug -Xrunjdwp:transport=dt_socket,address=127.0.0.1:8000,server=y,suspend=n"
-
-    # enable JRebel
-    export REBEL_BASE="$HOME/.jrebel"
-    export JREBEL_OPTS="-agentpath:/opt/jrebel/libjrebel64.so -Drebel.project.path=`pwd`"
-
-    # enable LWJGL native libraries
-    export LWJGL_OPTS="-Djava.library.path=target/natives"
-    
-    # define Maven options
-    export MAVEN_OPTS="-Xmx4000m $DEBUG_OPTIONS $JREBEL_OPTS $LWJGL_OPTS"
-    
-    mvn compile exec:java -Dexec.mainClass="eu.svjatoslav.sixth.e3d.examples.launcher.Main"
-    
-    echo "press ENTER to reload application"
-    read
-
-done
diff --git a/tools/update web site b/tools/update web site
index 7442ab6..49d31e4 100755
--- a/tools/update web site	
+++ b/tools/update web site	
@@ -1,5 +1,5 @@
 #!/bin/bash
-cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi;
+cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -- "$0" T; exit; fi;
 
 cd ..
 
-- 
2.20.1