From 3ee8d60caa5e6480c81f8d47423679cc0e7ba8e6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20K=C3=BCmmerlin?= Date: Mon, 21 Aug 2017 22:22:49 +0200 Subject: [PATCH 3/3] Pass executable path into main() when running installed script --- mypy/__main__.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/mypy/__main__.py b/mypy/__main__.py index 625242d1..f4ac9511 100644 --- a/mypy/__main__.py +++ b/mypy/__main__.py @@ -1,10 +1,11 @@ """Mypy type checker command line tool.""" from mypy.main import main +import sys def console_entry() -> None: - main(None) + main(sys.argv[0]) if __name__ == '__main__': -- 2.13.5