Builder complains about missing jedi on startup even if installed
Fedora 31, gnome-builder 3.34.1
On startup, gnome-builder always complains about missing jedi. But jedi is installed,
sudo dnf info python3-jedi returns
Last metadata expiration check: 3:30:37 ago on Fr 20 Dez 2019 13:06:21 GMT. Installed Packages Name : python3-jedi Version : 0.14.1 Release : 1.fc31 Architecture : noarch Size : 3.7 M Source : python-jedi-0.14.1-1.fc31.src.rpm Repository : @System From repo : fedora Summary : An auto completion tool for Python that can be used for text editors URL : https://jedi.readthedocs.org License : MIT Description : Jedi is a static analysis tool for Python that can be used in IDEs/editors. Its : historic focus is autocompletion, but does static analysis for now as well. : Jedi is fast and is very well tested. It understands Python on a deeper level : than all other static analysis frameworks for Python.
Furthermore, the import of jedi in a regular python program also works,
python3 -c "import jedi; print(jedi.__file__)" returns