mypy: Extract default run-mypy options into mypy.ini.

majidebraa · Mar 23, 2018 · 9a49812 · 9a49812
1 parent fb4f5c8
commit 9a49812
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/mypy.ini b/mypy.ini
@@ -1,6 +1,11 @@
 [mypy]
+check_untyped_defs = True
+disallow_any_generics = True
 strict_optional = True
 
+scripts_are_modules = True
+show_traceback = True
+
 # REQ returning None issue
 
 [mypy-zerver.decorator]

diff --git a/tools/run-mypy b/tools/run-mypy
@@ -83,12 +83,8 @@ if not python_files and not pyi_files:
     print("There are no files to run mypy on.")
     sys.exit(0)
 
-extra_args = ["--check-untyped-defs",
-              "--follow-imports=silent",
-              "--scripts-are-modules",
-              "--show-traceback",
-              "-i", "--cache-dir=var/mypy-cache",
-              "--disallow-any-generics"]
+extra_args = ["--follow-imports=silent",
+              "-i", "--cache-dir=var/mypy-cache"]
 if args.linecoverage_report:
     extra_args.append("--linecoverage-report")
     extra_args.append("var/linecoverage-report")