From 24bdc9b5da08abff29ae1cf9199ed06668e49cc4 Mon Sep 17 00:00:00 2001
From: Svjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Date: Sun, 20 Feb 2022 20:55:15 +0200
Subject: [PATCH] Updated maintenance scripts

So that they work with latest Gnome Terminal
---
 tools/commit and push | 11 ++++++-----
 tools/update web site |  9 +++++----
 2 files changed, 11 insertions(+), 9 deletions(-)

diff --git a/tools/commit and push b/tools/commit and push
index 057b511..d659072 100755
--- a/tools/commit and push	
+++ b/tools/commit and push	
@@ -1,10 +1,11 @@
 #!/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 ..
-
-cola
-git push
+(
+    cd ..
+    cola
+    git push
+)
 
 echo ""
 echo "Press ENTER to close this window."
diff --git a/tools/update web site b/tools/update web site
index ed2bf31..e8ccc71 100755
--- a/tools/update web site	
+++ b/tools/update web site	
@@ -1,9 +1,10 @@
 #!/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 ..
-
-rsync -avz --delete  -e 'ssh -p 10006' doc/ n0@www3.svjatoslav.eu:/mnt/big/projects/javainspect/
+(
+    cd ..
+    rsync -avz --delete  -e 'ssh -p 10006' doc/ n0@www3.svjatoslav.eu:/mnt/big/projects/javainspect/
+)
 
 echo ""
 echo "Press ENTER to close this window."
-- 
2.20.1