From 7f8576f3789df3432c3c63f1e8cfc2f3096b7ecc Mon Sep 17 00:00:00 2001 From: ColorfulRhino <131405023+ColorfulRhino@users.noreply.github.com> Date: Mon, 24 Jun 2024 20:53:37 +0200 Subject: [PATCH] tools: Slightly improve output for shellfmt --- lib/tools/shellfmt.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/lib/tools/shellfmt.sh b/lib/tools/shellfmt.sh index 727bcce88b..a595464e71 100755 --- a/lib/tools/shellfmt.sh +++ b/lib/tools/shellfmt.sh @@ -42,7 +42,7 @@ DOWN_URL="${GITHUB_SOURCE:-"https://github.com"}/mvdan/sh/releases/download/v${S SHELLFMT_BIN="${DIR_SHELLFMT}/${SHELLFMT_FN}" echo "MACHINE: ${MACHINE}" -echo "Down URL: ${DOWN_URL}" +echo "Download URL: ${DOWN_URL}" echo "SHELLFMT_BIN: ${SHELLFMT_BIN}" if [[ ! -f "${SHELLFMT_BIN}" ]]; then @@ -73,3 +73,5 @@ echo "Shellfmt files differing:" echo "Doing for real:" "${SHELLFMT_BIN}" -w "${ALL_BASH_FILES[@]}" + +echo "Shellfmt finished!"