mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-08 23:04:48 +08:00
Merge branch 'dev' into repl
This commit is contained in:
@@ -17,10 +17,10 @@ def setup_readline():
|
|||||||
``$HOME/.pythonrc.py``), you can add this piece of code:
|
``$HOME/.pythonrc.py``), you can add this piece of code:
|
||||||
|
|
||||||
>>> try:
|
>>> try:
|
||||||
>>> from jedi.utils import setup_readline
|
... from jedi.utils import setup_readline
|
||||||
>>> setup_readline()
|
... setup_readline()
|
||||||
>>> except ImportError:
|
... except ImportError:
|
||||||
>>> print('Install Jedi with pip! No autocompletion otherwise.')
|
... print('Install Jedi with pip! No autocompletion otherwise.')
|
||||||
|
|
||||||
"""
|
"""
|
||||||
try:
|
try:
|
||||||
|
|||||||
Reference in New Issue
Block a user