Lint mode #8

Merged

rudism merged 4 commits from lint-mode into master 2019-05-12 09:50:03 -05:00

Conversation 0 Commits 4 Files changed 19 +374 -210

4 commits

Author	SHA1	Message	Date
Rudis Muiznieks	3206a015e6	note about lint mode in help text	2019-05-12 09:44:10 -05:00
Rudis Muiznieks	85a06d77cd	output multiple errors instead of just dying on the first one encountered	2019-05-12 09:30:23 -05:00
Rudis Muiznieks	b75a672ce2	handling more errors gracefully	2019-05-12 09:29:09 -05:00
Rudis Muiznieks	4ff4693fa3	improved error handling and reporting, plus lint mode for checking files for errors	2019-05-12 09:29:09 -05:00