diff --git a/src/lint/linter/ArcanistTextLinter.php b/src/lint/linter/ArcanistTextLinter.php --- a/src/lint/linter/ArcanistTextLinter.php +++ b/src/lint/linter/ArcanistTextLinter.php @@ -23,11 +23,29 @@ return 0.5; } + public function getLinterConfigurationOptions() { + $options = array( + 'maxLineLength' => 'optional int', + ); + + return $options + parent::getLinterConfigurationOptions(); + } + public function setMaxLineLength($new_length) { $this->maxLineLength = $new_length; return $this; } + public function setLinterConfigurationValue($key, $value) { + switch ($key) { + case 'maxLineLength': + $this->setMaxLineLength($value); + return; + } + + return parent::setLinterConfigurationValue($key, $value); + } + public function getLinterName() { return 'TXT'; }