commit e5aac43c9b20aa209416a3294d90ed84a92a747d
parent 381ee33cf853f84f24ae07e7dea72645bfb2db54
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Thu, 21 Aug 2025 17:13:27 +0200
Correction of shell script lints
Scripts were not checked from the path where they were executed, which
could lead to errors related to missing files referenced by the script.
Diffstat:
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/Makefile b/Makefile
@@ -46,7 +46,8 @@ install__: $(HTML) $(SIG)
$(HTML): generate_header.sh
$(SIG): $(@:.sig=)
- gpg --yes -a -o $@ --detach-sign $(@:.sig=)
+ @echo "Signing $@"
+ @gpg --yes -a -o $@ --detach-sign $(@:.sig=)
.sh.md:
@cd -- "$$(dirname "$<")"; \
@@ -64,9 +65,12 @@ $(SIG): $(@:.sig=)
# Check files
################################################################################
.html.lint:
- tidy --show-info no -qe $<
+ @echo "Linting $<"
+ @tidy --show-info no -qe $<
.sh.shlint:
- shellcheck -o all -x $<
+ @echo "Linting $<"
+ @cd -- "$$(dirname "$<")"; \
+ shellcheck -o all -x "$$(basename "$<")"
lint__: $(LINT)