Есть ли плагин Gedit, который добавляет функции поиска?
Я надеюсь добавить поиск и заменить в выборке и поиск в файлах . Наличие опции поиска в контекстном меню также было бы удобно.
4 ответа
Для поиска по файлам я нашел этот плагин: http://oliver.github.com/gedit-file-search/ .
Возможность поиска и замены только выбранного текста запрашивалась годами
( https://bugzilla.gnome.org/show_bug.cgi?id=150010 ) но я не нашел никаких плагинов для этого.
Полный список плагинов gedit: http://live.gnome.org/Gedit/Plugins
Является ли этот поисковый плагин gedit тем, что вы ищете? Инструкции по установке находятся на этом сайте.
Эта ветка действительно старая, но здесь есть небольшое обновление. Для gedit 3 я бы порекомендовал этот плагин advanced-find вместо gedit-file-search, потому что я не смог установить последний с моим gedit 3.4.1. Кроме того, он отлично работает.
Начиная с версии 16.04, пакет gedit-plugins добавляет пункт меню «Найти в файлах...» в гамбургер-меню (в тот же раздел, где находится исходная функция «Найти...»).
Каталог по умолчанию для поиска (можно переопределить) — это активный в данный момент каталог на панели файлового браузера (предоставляется соответствующим подключаемым модулем ядра) (панель файлового браузера можно включать и выключать с помощью F9).
Поиск рекурсивный в подкаталогах. Функция замены недоступна.
Получить с помощью:
sudo apt install gedit-plugins
Ссылки:
https://packages.ubuntu.com/focal/gedit-plugins
https://gitlab.gnome.org/GNOME/gedit/blob/master /plugins/list-of-gedit-plugins.md
Обновление:
Найден отдельный плагин в инвентаре пакетов; может его можно установить самостоятельно? (Не могу попробовать, я уже установил весь набор.)
https://packages.ubuntu.com/focal/gedit-plugin-find-in-files