From d22954c122a86b122ef7dd9c05e77346b1d37f84 Mon Sep 17 00:00:00 2001 From: Koen Lageveen Date: Wed, 25 Apr 2018 20:22:33 +0200 Subject: [PATCH] fix #12 don't lint embedded shell in makefile (#13) --- linter.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/linter.py b/linter.py index 59cca25..c258f29 100644 --- a/linter.py +++ b/linter.py @@ -15,6 +15,6 @@ class Shellcheck(Linter): r'(?P.+)$' ) defaults = { - 'selector': 'source.shell', + 'selector': 'source.shell - source.makefile', '--exclude=,': '' }