From 7f4a45f95fb6833c1abe75509225da451a7c3f78 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Eduardo=20S=C3=A1nchez=20Mu=C3=B1oz?= Date: Mon, 15 Apr 2024 23:19:01 +0200 Subject: [PATCH] ci: use node.js markdownlint --- ci/install-lint-deps.sh | 2 +- ci/lint-aux.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/install-lint-deps.sh b/ci/install-lint-deps.sh index 82de250..e819842 100755 --- a/ci/install-lint-deps.sh +++ b/ci/install-lint-deps.sh @@ -4,4 +4,4 @@ set -euo pipefail sudo apt-get update sudo apt-get install -y --no-install-recommends shellcheck -sudo gem install mdl +sudo npm install -g markdownlint-cli diff --git a/ci/lint-aux.sh b/ci/lint-aux.sh index 06a7807..8f8ff7d 100755 --- a/ci/lint-aux.sh +++ b/ci/lint-aux.sh @@ -29,4 +29,4 @@ echo "Checking shell scripts with shellcheck" find . -type f -name "*.sh" -not -path "./.git/*" -print0 | xargs -0 shellcheck echo "Checking markdown documents with markdownlint" -find . -type f -name "*.md" -not -path "./.git/*" -print0 | xargs -0 mdl +find . -type f -name "*.md" -not -path "./.git/*" -print0 | xargs -0 markdownlint