Eu mesmo estava curioso sobre isso, procurando em /usr/share/gnome-shell/js/ui
encontrei referência a contactDisplay
em overview.js
. Você deve poder comentar as duas linhas:
const ContactDisplay = imports.ui.contactDisplay;
this.addSearchProvider(new ContactDisplay.ContactSearchProvider());
e isso vai cuidar disso. Apenas testei e nada quebrou imediatamente (seus resultados podem variar). Eu não vou fazer nenhuma suposição de seu conjunto de habilidades para comentar essas linhas
Alt + F2 gksu gedit /usr/share/gnome-shell/js/ui/overview.js
encontre as duas linhas listadas e coloque //
(marcadores de comentário) na frente deles, salve e Contatos desaparecerão dos resultados da pesquisa.
O painel de pesquisa ao qual você se refere é chamado de visão geral. Isso pode ajudar em futuras perguntas.