Gnome-do имеет официальный плагин под названием «Файлы и папки», который индексирует любые каталоги, которые вы добавляете в свою конфигурацию.
Чтобы включить его:
Призвать gnome-do (выиграть + пробел) Нажмите стрелку в правом верхнем углу и выберите параметры. Вкладка плагинов в официальных плагинах отметит файлы и папки, чтобы включить ее. Нажмите «Настройка», чтобы выбрать папки, которые вы хотите проиндексировать (у меня есть рабочий стол, документы, файлы для загрузки). Затем вы можете вызвать gnome-do и введите имя файла или его расширение, например «mov» для просмотра всех файлов фильмов (с эскизами)Конечно, gnome-do обладает множеством других функций, встроенных и подключаемых к ним плагинами. Хорошо стоит посмотреть.