From 5e2bb0ef9b17dd82e5d43796907797d583956b29 Mon Sep 17 00:00:00 2001
From: Dave Halter <davidhalter88@gmail.com>
Date: Tue, 13 May 2014 16:29:39 +0200
Subject: [PATCH] Using python -m jedi force <path> you can use the linter for
 now.

---
 jedi/__main__.py | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/jedi/__main__.py b/jedi/__main__.py
index 7b1b2b76..8c593212 100644
--- a/jedi/__main__.py
+++ b/jedi/__main__.py
@@ -6,3 +6,12 @@ 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':
+    import jedi
+    import sys
+
+    if '--debug' in sys.argv:
+        jedi.set_debug_function()
+
+    for error in jedi.Script(path=sys.argv[2])._analysis():
+        print(error)