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