ci: use node.js markdownlint

eduardosm · Apr 15, 2024 · 7f4a45f · 7f4a45f
1 parent 3d8facf
commit 7f4a45f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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