Обзор поиска отображает результаты поиска от различных «поисковых провайдеров», где каждому провайдеру разрешается одна строка результатов. Если вы начнете вводить имя своего PDF-файла, поставщик документов будет отсортирован выше поставщика Nautilus («Файлы»). (Я не уверен, как это изменить.) Если щелкнуть результат в разделе «Файлы», а не «Документы», он должен открыться в Evince вместо «Документы».
Вы также можете, sudo rm /usr/share/gnome-shell/search-providers/gnome-documents-search-provider.iniесли вы хотите полностью избавиться от провайдера документов.
Обновление за январь 2016 года. В настоящее время вы можете отключить службу поиска документов с помощью панели «Поиск» в настройках системы или переместить ее вниз под поставщиком «Наутилус». Это намного приятнее, чем удаление INI-файла вручную.