Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authornl6720 <nl6720@gmail.com>2020-07-30 10:00:37 +0300
committernl6720 <nl6720@gmail.com>2020-07-30 13:09:53 +0300
commitd7fc56e0066fc0bdfd1d45e4e67f53b218609897 (patch)
treefcce1501db07347223d615ec9d5fa66c7f904e1b /.gitignore
parenta96330699f6a45de80138a84e7029fd56fbcc78d (diff)
Move shell script linting into a separate make target
Makefile: Move shellcheck to a "lint" target and change "check" so that it runs "lint". This provides a more finer grained control and allows to extend "check" with things beyond just linting. .gitlab-ci.yml: Run `make lint` in the lint job.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions