Você pode integrar a pesquisa de arquivos no shell do Gnome instalando esta extensão:
Se você também quiser que seus arquivos abertos recentemente na lista de atalhos do programa apropriado (muito útil) instalem esta extensão:
Verifique se você instalou gir1.2-gnomedesktop-3.0
antes de instalar a extensão:
sudo apt-get install gir1.2-gnomedesktop-3.0