La recherche Super + ne fonctionne pas après la mise à niveau vers 19.10
Je suis passé à 19.10 hier. Maintenant, quand je frappe Super et commencez à taper le nom d'un logiciel, aucun résultat n'apparaît dans la zone de résultats de recherche sous le champ de recherche. Mais si je connais le nom exact de ce que j'essaye d'ouvrir et que je le tape en entier, il s'ouvre.
Auparavant, si, disons, je voulais GIMP et je pressais Super et tapé "GI", j'avais l'habitude d'obtenir des résultats de recherche pour "GI ...", mais maintenant j'obtiens un écran vide sous le champ de recherche. Si je presse Super, tapez "GIMP" et appuyez sur Return, il ouvre GIMP.
Tweaks → Extensions → Utilisateur Les thèmes sont activés.
J'ai rencontré le même problème après la mise à jour vers Ubuntu 19.10.
Ce qui suit a pu le résoudre pour moi:
Sudo apt-get --reinstall install yaru-theme-gnome-Shell
Suivi d'un redémarrage.
J'ai également désactivé les extensions Shell avant cela, mais je ne sais pas si cela était nécessaire
J'avais à un moment donné installé le thème des couleurs yaru et ma pensée est que cela ne fonctionnait pas bien avec la mise à jour, supprimer le thème seul n'était pas suffisant et j'ai dû réinstaller le thème yaru par défaut fourni avec Ubuntu.
Si le problème persiste malgré toutes les autres solutions, vérifiez quelle est votre session de connexion (bouton à crémaillère dans l'écran de connexion).
J'avais un paquet obsolète de "Ubuntu Communitheme", mais le passage à "Ubuntu (Wayland)" ou "Gnome" ou "Gnome (Xorg)" l'a résolu (mais ce n'est pas intéressant l'Ubuntu par défaut sans Wayland).