From ec690b9ec5655b0d69c940380871fde748d7b002 Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Mon, 21 Jul 2014 16:15:42 +0200 Subject: [PATCH] change the default linter command from 'force' to 'linter' --- jedi/__main__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jedi/__main__.py b/jedi/__main__.py index 9996281d..b2639713 100644 --- a/jedi/__main__.py +++ b/jedi/__main__.py @@ -6,7 +6,7 @@ if len(argv) == 2 and argv[1] == 'repl': # don't want to use __main__ only for repl yet, maybe we want to use it for # something else. So just use the keyword ``repl`` for now. print(join(dirname(abspath(__file__)), 'api', 'replstartup.py')) -elif len(argv) > 1 and argv[1] == 'force': +elif len(argv) > 1 and argv[1] == 'linter': """ This is a pre-alpha API. You're not supposed to use it at all, except for testing. It will very likely change.