Gdyby komuś “przypadkiem” zniknęła możliwość wyszukiwania aplikacji poprzez klawiaturę w gnome-shell (tzn klikane aktywatory działają, ale już samo szukanie po nazwie nie) to sugeruję przyglądnięcie się katalogowi ~/.local/share/.
Sam kilka dni szukałem rozwiązania ale chyba nikt podobnego problemu nie miał więc musiałem szukać samemu. Metodą prób i błędów, kasowaniem ustawień gnome (.gnome/.gnome2/.gconf/.gconfd/.metacity/.config/dconf/user) doszedłem do wniosku, że coś w ~/.local/share/ mi tutaj psuje.
Tak sobie kasowałem i sprawdzałem aż nieco mi się znudziło i doszedłem do tego, że desktop-directories/ albo gnome-shell/ było problemem. Który dokładnie nie wiem, grunt że po ich skasowaniu nagle zadziałało i poza ponownym ustawieniem kilku programów mogłem znowu normalnie korzystać z dobrodziejstwa gnome 😉