Невозможно использовать автозаполнение в 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.
4
задан
23 March 2016 в 15:05
поделиться
1 ответ
Система плагина гнома-разработчика использует Python 3, поэтому удостоверьтесь Jedi, установлен для той версии Python.
sudo apt-get install python3-jedi
можно подтвердить, что установка успешна путем ввода следующего в терминале:
python3 -c "import jedi; print(jedi.__file__)"
2
ответ дан Timo
24 March 2016 в 01:05
поделиться
-
1И здесь отчет об ошибках.:) Подписываются, чтобы быть уведомленным, когда это фиксируется. – muktupavels 5 July 2017 в 02:01