Невозможно использовать автозаполнение в gnome-builder для Python - плагин джедая не найден
Я использую gnome-builder
чтобы сделать некоторую работу по разработке, и мне нужно сделать некоторую работу с Python, так что было бы очень полезно, если бы инструмент автозаполнения действительно работал, но каждый раз, когда я начинаю gnome-builder
Я получаю следующее сообщение в Терминале:
jedi not found, python auto-completion not possible.
Даже если jedi
указан как один из установленных gnome-builder
плагины, так в чем проблема и как я могу получить jedi
работать или быть обнаруженным?
Я использую Ubuntu GNOME 15.10 с GNOME 3.18.
1 ответ
Решение
Система плагинов gnome-builder использует Python 3, поэтому убедитесь, что Jedi
установлен для этой версии Python.
sudo apt-get install python3-jedi
Вы можете подтвердить успешность установки, набрав в терминале следующее:
python3 -c "import jedi; print(jedi.__file__)"