diff options
| author | Carl Dong <contact@carldong.me> | 2020-11-09 15:00:48 -0500 |
|---|---|---|
| committer | Carl Dong <contact@carldong.me> | 2020-11-09 16:58:27 -0500 |
| commit | 618cbd2c1a630a60bed9212718dce78fe5f50108 (patch) | |
| tree | f3889e6876c55fc98c96b86cadc10d2504a1e7e9 /.tx/config | |
| parent | 6c7e8f067dcf4c5d793d162aeb84f074f9a14664 (diff) | |
lint: Also lint files with shellcheck directive
Files like config.site.in are not referenced by any other script in our
tree, so we need to mark it manually with a "shellcheck shell="
directive and make sure that shellcheck is run on them.
Diffstat (limited to '.tx/config')
0 files changed, 0 insertions, 0 deletions