zulint: Move printer.py module to tools/zulint.

At this point, tools/linter_lib is intended to be the directory of
Zulip-specific code.
This commit is contained in:
Tim Abbott
2018-08-04 14:56:46 -07:00
parent 55ba434ecb
commit c0beeebc3e
6 changed files with 5 additions and 8 deletions

View File

@@ -7,7 +7,7 @@ import os
import re
import traceback
from .printer import print_err, colors
from zulint.printer import print_err, colors
from typing import cast, Any, Callable, Dict, List, Optional, Tuple, Iterable
@@ -525,7 +525,7 @@ def build_custom_checkers(by_lang):
# We are likely to want to keep these dirs Python 2+3 compatible,
# since the plan includes extracting them to a separate project eventually.
'tools/lib',
'tools/linter_lib',
'tools/zulint',
# TODO: Update our migrations from Text->str.
'zerver/migrations/',
# thumbor is (currently) python2 only