We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1df6bf5 commit 0d64bd8Copy full SHA for 0d64bd8
mypy/__main__.py
@@ -4,6 +4,7 @@
4
import os
5
6
from mypy.main import main
7
+from mypy.util import FancyFormatter
8
9
10
def console_entry() -> None:
@@ -18,6 +19,11 @@ def console_entry() -> None:
18
19
os.dup2(devnull, sys.stdout.fileno())
20
sys.exit(2)
21
except KeyboardInterrupt:
22
+ formatter = FancyFormatter(sys.stdout, sys.stderr, False)
23
+ msg = " KeybordInterrupt called by user. Abort!\n"
24
+ sys.stdout.write(formatter.style(msg, color="red", bold=True))
25
+ sys.stdout.flush()
26
+ sys.stderr.flush()
27
28
29
0 commit comments