From e5bcc1827e7c1070fc2e7c4d2d36e52ef4cb49da Mon Sep 17 00:00:00 2001 From: Johannes Schauer Marin Rodrigues Date: Wed, 27 Sep 2023 07:44:56 +0200 Subject: [PATCH] make_mirror.sh: print success message at the end --- make_mirror.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/make_mirror.sh b/make_mirror.sh index 0e6570d..b82e6ab 100755 --- a/make_mirror.sh +++ b/make_mirror.sh @@ -550,3 +550,5 @@ mv --no-target-directory ./shared/cache.tmp ./shared/cache deletecache "$oldcachedir" trap - EXIT INT TERM + +echo "$0 finished successfully" >&2