Index: src/lint/linter/ArcanistTextLinter.php =================================================================== --- src/lint/linter/ArcanistTextLinter.php +++ src/lint/linter/ArcanistTextLinter.php @@ -16,6 +16,7 @@ const LINT_NO_COMMIT = 7; private $maxLineLength = 80; + private $badCharsetsAllowed = false; public function setMaxLineLength($new_length) { $this->maxLineLength = $new_length; @@ -26,6 +27,15 @@ return; } + public function setBadCharsetsAllowed($allowed) { + $this->allowBadCharsets = $allowed; + return $this; + } + + public function isBadCharsetsAllowed() { + return $this->allowBadCharsets; + } + public function getLinterName() { return 'TXT'; } @@ -137,6 +147,10 @@ } protected function lintCharset($path) { + if ($this->allowBadCharsets) { + return; + } + $data = $this->getData($path); $matches = null;