As pesquisas no Ubuntu 18.04 não funcionam mais. Esta é uma nova instalação que possui poucas modificações. O recurso de pesquisa de aplicativos não funcionou na instalação inicial por algum motivo.
Resultados esperados: Digite um termo de pesquisa, como "Configurações", e veja uma lista filtrada de aplicativos. Neste caso, só vejo o aplicativo Configurações.
Resultados reais: Nenhuma filtragem é realizada, todos os aplicativos (recentes ou todos) continuam sendo exibidos.
Existe uma maneira de corrigir isso para que a barra de pesquisa filtre os resultados como fez em 17.10?
Mais informações 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
Encontrou a resposta aqui: link
Aparentemente, eu instalei o VSCode Search Provider, mas ele foi desativado. Mesmo com isso desativado, causou erros. Depois de desinstalá-lo com o Centro de Software e reiniciar, consegui pesquisar novamente. Lembre-se de que a pesquisa de aplicativos não funcionou até a reinicialização, mas o logout e o login também podem funcionar.