Use --show-traceback option

cdce8p · cdce8p · commit 6917deba8d6d · 2021-10-13T23:47:46.000+02:00
diff --git a/mypy/__main__.py b/mypy/__main__.py
@@ -1,9 +1,9 @@
 """Mypy type checker command line tool."""
-
-import sys
 import os
+import sys
+import traceback
 
-from mypy.main import main
+from mypy.main import main, process_options
 from mypy.util import FancyFormatter
 
 
@@ -19,6 +19,9 @@ def console_entry() -> None:
         os.dup2(devnull, sys.stdout.fileno())
         sys.exit(2)
     except KeyboardInterrupt:
+        _, options = process_options(args=sys.argv[1:])
+        if options.show_traceback:
+            sys.stdout.write(traceback.format_exc())
         formatter = FancyFormatter(sys.stdout, sys.stderr, False)
         msg = " KeybordInterrupt called by user. Abort!\n"
         sys.stdout.write(formatter.style(msg, color="red", bold=True))
