Set linters based on provided commands in args.lint_cmd.

This commit is contained in:
Paul Gauthier 2024-05-18 21:04:47 -07:00
parent 5a6e72a64b
commit 38de35e924

View file

@ -343,6 +343,19 @@ def main(argv=None, input=None, output=None, force_git_root=None, return_coder=F
coder.show_announcements()
for lint_cmd in args.lint_cmd:
pieces = lint_cmd.split(':')
lang = pieces[0]
cmd = lint_cmd[len(lang)+1:]
lang = lang.strip()
cmd = cmd.strip()
if lang and cmd:
coder.linter.set_linter(lang, cmd)
else:
io.tool_error(f"Unable to parse --lang-cmd {lang_cmd}")
if args.show_prompts:
coder.cur_messages += [
dict(role="user", content="Hello!"),