install jedi

zhoupro · zhoupro · commit a7cb3c4dd5ab · 2019-06-24T15:30:40.000+08:00
diff --git a/tools/dep/ubuntu_init.sh b/tools/dep/ubuntu_init.sh
@@ -40,12 +40,9 @@ if [ "Y$OPT_PHP" == "Yyes" ];then
    sudo npm i -g intelephense
 fi
 if [ "Y$OPT_PYTHON" == "Yyes" ];then
-    #pip install python-language-server
-    #sudo npm i -g intelephense
-    echo "python language server"
+    sudo pip3 install jedi
 fi
 
-
 if [ "Y$OPT_LUA" == "Yyes" ];then
     apt install -y lua5.3-dev luarocks lua5.3
     luarocks install --server=http://luarocks.org/dev lua-lsp
