diff options
author | Jeroen Vermeulen <jtv@precisiontranslationtools.com> | 2015-05-17 14:25:06 +0300 |
---|---|---|
committer | Jeroen Vermeulen <jtv@precisiontranslationtools.com> | 2015-05-17 14:25:06 +0300 |
commit | 07a8fe06aacb91b3d37ba13ba635fc6bec4e1b6b (patch) | |
tree | fa003c85a9bc5fd64836ffc00aafdce9ddfe2310 /.beautify-ignore | |
parent | 9bdcb5f7c1e1232010778e8bf99d76f2fbd4f6ed (diff) |
Also support checking for lint.
Choose which action(s) you want for each run: --format and/or --lint.
Many different types of files are lint-checkable, but you need Pocketlint
installed (plus ideally, its plugins for the various languages).
Also, added option to control batching of the commands.
Diffstat (limited to '.beautify-ignore')
-rw-r--r-- | .beautify-ignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.beautify-ignore b/.beautify-ignore index a21511af2..9acdb5824 100644 --- a/.beautify-ignore +++ b/.beautify-ignore @@ -17,10 +17,14 @@ contrib irstlm jam-files lm +mingw/MosesGUI/icons_rc.py moses/TranslationModel/UG phrase-extract/pcfg-common phrase-extract/syntax-common randlm +# Filename suffixes in here are language codes, so e.g. ".pl" means +# Polish, not Perl. +scripts/share/nonbreaking_prefixes search srilm util |