From ea98aabd22677442504995b7b2324f0b299f515e Mon Sep 17 00:00:00 2001 From: Pavel Raiskup Date: Tue, 23 Nov 2021 16:02:18 +0100 Subject: [PATCH] remove_unused_sources: log with PID and DATE --- scripts/dist-git/remove_unused_sources | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/dist-git/remove_unused_sources b/scripts/dist-git/remove_unused_sources index 0e0cd80..1ff1c52 100755 --- a/scripts/dist-git/remove_unused_sources +++ b/scripts/dist-git/remove_unused_sources @@ -15,7 +15,7 @@ die() { echo "$*" 1>&2 ; exit 1; } logcmd () { - echo >&2 "$*" + echo >&2 "[PID$$:DATE:$(date +"%Y%m%d_%H%M%S")] $*" "$@" }