From: Svjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Date: Sat, 29 May 2021 02:09:09 +0000 (+0300)
Subject: updated development scripts
X-Git-Url: http://www2.svjatoslav.eu/gitweb/?a=commitdiff_plain;h=f0ebc20d0438fc46be1d98fb3643bd4196cb64c9;p=sixth-3d-demos.git

updated development scripts
---

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 ..