私はgnome-builder
を使用していくつかの開発作業を行っており、Pythonを使用して作業を行う必要があるため、自動補完ツールが実際に機能した場合は非常に役立ちますが、 start gnome-builder
ターミナルに次のメッセージが表示されます。
jedi not found, python auto-completion not possible.
jedi
はインストール済みgnome-builder
プラグインの1つとしてリストされていますが、問題は何ですか?jedi
を機能させるか、検出するにはどうすればよいですか?
Ubuntu GNOME 15.10とGNOME 3.18を実行しています。
Gnome-builderプラグインシステムはPython 3を使用するため、Pythonバージョン用にJedi
がインストールされていることを確認してください。
Sudo apt-get install python3-jedi
ターミナルに次のように入力して、インストールが成功したことを確認できます。
python3 -c "import jedi; print(jedi.__file__)"