From f0ebc20d0438fc46be1d98fb3643bd4196cb64c9 Mon Sep 17 00:00:00 2001 From: Svjatoslav Agejenko 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