From e7cf6afe1796af29c46a1353e2efb922a6f4ed5b Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Tue, 3 Mar 2026 04:52:56 +0100 Subject: [PATCH] pgit.sh: Fix "Running" log message pgit.sh logs "Running $0 $@ GIT_SSH=" which is not the exact command line. Fix that, and prefix log messages with "pgit.sh". Signed-off-by: Jan Lindemann --- scripts/pgit.sh | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/scripts/pgit.sh b/scripts/pgit.sh index efa14ecd..d29aba16 100644 --- a/scripts/pgit.sh +++ b/scripts/pgit.sh @@ -4,17 +4,17 @@ log() { - echo $@ + echo "$myname $*" } err() { - log $@ + log "$@" } fatal() { - err $@ + err "$@" exit 1 } @@ -255,7 +255,10 @@ cmd_diff() done ) -echo "running $0 $@ GIT_SSH=$GIT_SSH" >&2 +myname=${0##*/} +log "Running $0 $@" +log "GIT_SSH=$GIT_SSH" +log "JW_PKG_SSH_EXTRA_OPTS=$JW_PKG_SSH_EXTRA_OPTS" cur=0 SSH=ssh