La recherche d'applications dans Ubuntu 18.04 ne fonctionne plus. Ceci est une nouvelle installation qui a peu de modifications. La fonction de recherche d'applications n'a pas fonctionné depuis l'installation initiale pour une raison quelconque.
Résultats attendus: Saisissez un terme de recherche, tel que "Paramètres", et consultez une liste filtrée d'applications. Dans ce cas, je ne devrais voir que l'application Réglages.
Résultats réels: Aucun filtrage n'est effectué, toutes les applications (récentes ou toutes) continuent de s'afficher.
Existe-t-il un moyen de résoudre ce problème afin que la barre de recherche filtre les résultats comme dans 17.10?
Plus d'infos de journalctl -f
May 27 00:49:59 ComputerName gnome-Shell[28923]: JS ERROR: TypeError: display is undefined _updateSearchProgress/haveResults<@resource:///org/gnome/Shell/ui/search.js:645:13 _updateSearchProgress@resource:///org/gnome/Shell/ui/search.js:643:27
wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22
setTerms@resource:///org/gnome/Shell/ui/search.js:565:9
wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22
_onTextChanged@resource:///org/gnome/Shell/ui/viewSelector.js:532:9
wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22
Vous avez trouvé la réponse ici: https://bugs.launchpad.net/ubuntu/+source/gnome-Shell/+bug/1771278
Apparemment, j'avais installé le fournisseur de recherche VSCode, mais je l'avais désactivé. Même désactivé, cela provoquait des erreurs. Après l'avoir désinstallé avec le Centre logiciel et redémarré, j'ai pu effectuer une nouvelle recherche. Sachez que la recherche d'application n'a pas fonctionné avant le redémarrage, mais la déconnexion et le retour peuvent également fonctionner.