From 59948824f05955daa3c5a052f039d1c8ad1b9d20 Mon Sep 17 00:00:00 2001 From: "Hahn Axel (hahn)" <axel.hahn@unibe.ch> Date: Thu, 14 Dec 2023 16:15:28 +0100 Subject: [PATCH] small fixes --- bin/create_config.sh | 2 +- deploy_app.sh | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/create_config.sh b/bin/create_config.sh index 7676648..87bdced 100755 --- a/bin/create_config.sh +++ b/bin/create_config.sh @@ -23,7 +23,7 @@ replacefile=$* test -z "$replacefile" && replacefile="replace*.txt" tmpfile=/tmp/myreplacement.tmp -usage="`basename $0` TEMPLATE-FILE OUTFILE [optional: REPLACE-DATA-FILE]" +usage="USAGE: $( basename $0 ) TEMPLATE-FILE OUTFILE [optional: REPLACE-DATA-FILE(S)]" # cfgdiff is set in setProfile in ../deploy_app.sh while running through a profile # if create_config.sh is used standalone we hide the output diff --git a/deploy_app.sh b/deploy_app.sh index 02a1b0c..c1a0a1e 100755 --- a/deploy_app.sh +++ b/deploy_app.sh @@ -137,6 +137,7 @@ function run_task(){ if [ -x "${taskscript}" ]; then echo "INFO: starting script ${taskscript}..." . "${taskscript}" || exit 10 + echo "DONE: script ${taskscript}" else test -f "${taskscript}" && ( echo "SKIP: task script ${taskscript} is not executable." ; ls -l "${taskscript}") test -f "${taskscript}" || echo "SKIP: task script ${taskscript} does not exist." -- GitLab