switch off bash script debugging

joernhees · joernhees · commit 0e8324b9edec · 2017-06-26T11:59:55.000+02:00
diff --git a/run_create_bundle.sh b/run_create_bundle.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -x
+#set -x
 set -e
 set -o pipefail
 
diff --git a/scripts/virtuoso_unpack_local_and_run.sh b/scripts/virtuoso_unpack_local_and_run.sh
@@ -1,6 +1,6 @@
 #! /bin/bash
 set -e
-set -x
+#set -x
 
 TMPDIR="${TMPDIR:-/tmp/gp_learner_$RANDOM}"
 TMP_DIR="$TMPDIR/virtuoso_db"

-Original file line number
+Diff line change
@@ @@ -1,5 +1,5 @@ @@
 #!/bin/bash
 -set -x
 +#set -x
 set -e
 set -o pipefail