mirror of
ssh://git.janware.com/janware/proj/jw-pkg
synced 2026-04-24 09:13:37 +02:00
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 <jan@janware.com>
This commit is contained in:
parent
03fca61248
commit
e7cf6afe17
1 changed files with 7 additions and 4 deletions
|
|
@ -4,17 +4,17 @@
|
||||||
|
|
||||||
log()
|
log()
|
||||||
{
|
{
|
||||||
echo $@
|
echo "$myname $*"
|
||||||
}
|
}
|
||||||
|
|
||||||
err()
|
err()
|
||||||
{
|
{
|
||||||
log $@
|
log "$@"
|
||||||
}
|
}
|
||||||
|
|
||||||
fatal()
|
fatal()
|
||||||
{
|
{
|
||||||
err $@
|
err "$@"
|
||||||
exit 1
|
exit 1
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
@ -255,7 +255,10 @@ cmd_diff()
|
||||||
done
|
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
|
cur=0
|
||||||
SSH=ssh
|
SSH=ssh
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue