diff options
author | tv <tv@krebsco.de> | 2016-07-17 00:14:37 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-07-17 00:17:36 +0200 |
commit | 375c0f479fa36f9326e6ecbe99e2e98cb2a5e8fc (patch) | |
tree | 29a39e53bd15e77b7460fa07ab401b1325c91e67 | |
parent | 4aa17b21e0661f2b5f2685dbc8baf59e2809dddf (diff) |
prefix error messages with $0v1.1.0
-rwxr-xr-x | bin/populate | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/populate b/bin/populate index ff242cf..bbe3b7a 100755 --- a/bin/populate +++ b/bin/populate @@ -2,6 +2,7 @@ set -efu self=$(readlink -f "$0") +basename=${0##*/} prefix=${self%/bin/*} libdir=$prefix/lib @@ -15,7 +16,7 @@ target_spec= fail=true error() { - echo "error: $1" >&2 + echo "$basename: error: $1" >&2 fail=false } |