Merge pull request tkf#279 from tkf/reinstall-command

Add reinstall server command
jucacrispim · Jan 21, 2017 · de1f559 · de1f559
2 parents b6972af + 6748553
commit de1f559
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/jedi-core.el b/jedi-core.el
@@ -1172,6 +1172,16 @@ See also:
       (lambda (_)
         (setq-default jedi:server-command (jedi:-env-server-command))))))
 
+;;;###autoload
+(defun jedi:reinstall-server ()
+  "Reinstall Jedi server script jediepcserver.py."
+  (interactive)
+  (let ((root (python-environment-root-path jedi:environment-root)))
+    (when (yes-or-no-p
+           (format "Reinstall jedi server environment(%s) ?" (abbreviate-file-name root)))
+      (delete-directory root t)
+      (jedi:install-server))))
+
 ;;;###autoload
 (defun jedi:install-server-block ()
   "Blocking version `jedi:install-server'."