aboutsummaryrefslogtreecommitdiff
path: root/lint/bash.sh
AgeCommit message (Expand)AuthorFilesLines
2018-12-19Remove diagnostic messages from check/lint scriptsTom Ryder1-1/+0
2017-10-31Tidy and correct linting for all three shellsTom Ryder1-1/+9
2017-10-31Revert "Drastically simplify `lint` scripts"Tom Ryder1-7/+1
2017-10-31Drastically simplify `lint` scriptsTom Ryder1-1/+7
2017-04-05More sh flexibility (check/lint scripts)Tom Ryder1-0/+1