Skip to content

Commit 4d94254

Browse files
committed
lint: ignore files ignored by git in mlc
Updating to MLC v0.18.0 includes a new feature which will ignore all files ignored by git: `--gitignore`. This helps avoid false-positives flagged by this linter in non-project files, such as a developer might expect to have in their directory (e.g. guix-builds, python venvs, etc.)
1 parent 173ab0c commit 4d94254

File tree

2 files changed

+2
-1
lines changed

2 files changed

+2
-1
lines changed

ci/lint/04_install.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -58,7 +58,7 @@ curl -sL "https://github.com/koalaman/shellcheck/releases/download/${SHELLCHECK_
5858
tar --xz -xf - --directory /tmp/
5959
mv "/tmp/shellcheck-${SHELLCHECK_VERSION}/shellcheck" /usr/bin/
6060

61-
MLC_VERSION=v0.16.3
61+
MLC_VERSION=v0.18.0
6262
MLC_BIN=mlc-x86_64-linux
6363
curl -sL "https://github.com/becheran/mlc/releases/download/${MLC_VERSION}/${MLC_BIN}" -o "/usr/bin/mlc"
6464
chmod +x /usr/bin/mlc

test/lint/test_runner/src/main.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -410,6 +410,7 @@ fn lint_markdown() -> LintResult {
410410
"--offline",
411411
"--ignore-path",
412412
md_ignore_path_str.as_str(),
413+
"--gitignore",
413414
"--root-dir",
414415
".",
415416
])

0 commit comments

Comments
 (0)