Impossible d'utiliser l'auto-complétion dans gnome-builder pour Python - plug-in jedi introuvable
J'utilise gnome-builder pour effectuer des travaux de développement. Il me faut travailler avec Python. Il serait donc très utile que l'outil d'auto-complétion fonctionne réellement, mais chaque fois que je start gnome-builder Je reçois le message suivant dans le terminal:
jedi not found, python auto-completion not possible.
Même si jedi figure dans la liste des plug-ins installés gnome-builder, quel est le problème et comment puis-je faire en sorte que jedi fonctionne ou soit détecté?
J'utilise Ubuntu GNOME 15.10 avec GNOME 3.18.
Le système de plug-in gnome-builder utilise Python 3, assurez-vous donc que Jedi est installé pour cette version Python.
Sudo apt-get install python3-jedi
Vous pouvez confirmer que l'installation est réussie en tapant ce qui suit dans le terminal:
python3 -c "import jedi; print(jedi.__file__)"