Mention different language servers in README

This commit is contained in:
Dave Halter
2020-08-06 00:53:03 +02:00
parent 01b2e8e6b8
commit 5b81abd537
2 changed files with 18 additions and 2 deletions

View File

@@ -55,6 +55,12 @@ Jedi can currently be used with the following editors/projects:
and many more! and many more!
There are a few language servers that use Jedi:
- `jedi-language-server <https://github.com/pappasam/jedi-language-server>`_
- `python-language-server <https://github.com/palantir/python-language-server>`_
- `anakin-language-server <https://github.com/muffinmad/anakin-language-server>`_
Here are some pictures taken from jedi-vim_: Here are some pictures taken from jedi-vim_:
.. image:: https://github.com/davidhalter/jedi/raw/master/docs/_screenshots/screenshot_complete.png .. image:: https://github.com/davidhalter/jedi/raw/master/docs/_screenshots/screenshot_complete.png

View File

@@ -3,11 +3,21 @@
Using Jedi Using Jedi
========== ==========
|jedi| is can be used with a variety of plugins and software. It is also possible |jedi| is can be used with a variety of :ref:`plugins <editor-plugins>`,
to use |jedi| in the :ref:`Python shell or with IPython <repl-completion>`. `language servers <language-servers>` and other software.
It is also possible to use |jedi| in the :ref:`Python shell or with IPython
<repl-completion>`.
Below you can also find a list of :ref:`recipes for type hinting <recipes>`. Below you can also find a list of :ref:`recipes for type hinting <recipes>`.
.. _language-servers:
Language Servers
--------------
- `jedi-language-server <https://github.com/pappasam/jedi-language-server>`_
- `python-language-server <https://github.com/palantir/python-language-server>`_
- `anakin-language-server <https://github.com/muffinmad/anakin-language-server>`_
.. _editor-plugins: .. _editor-plugins: