пятница, 16 мая 2008 г.
Дополнения для Gedit
Вольный перевод вот этой статьи.
Gedit, основной текстовый редактор среды Gnome, подобно FireFox, включает в себя мощную систему дополнений (плагинов). Имеются удобные модули не только для программистов, но и для обычных пользователей.
Для включения/отключения и конфигурирования дополнений необходимо перейти на вкладку модули в окне параметров редактора.
Небольшая коллекция плагинов устанавливается с gedit по умолчанию, некоторые активны.
Панель обозревателя файлов - добавляет на боковую панель (вызывается через Вид -> Боковая панель, или нажатием F9) вкладку обозревателя файлов, аналогична панели проводника в windows.
Консоль Python - в нижней панели редактора появляется вкладка консоли Python. Сама нижняя панель вызывается по нажатию волшебных клавиш Ctrl + F9, либо через меню Вид -> Нижняя панель
Внешние инструменты - позволяет запускать внешние команды и скрипты оболочки. Модуль настраиваемый, количество внешних команд ограничено фантазией пользователя. Из установленных изначально внешних функций можно отметить вызов команды make в каталоге с документом и запуск окна терминала в каталоге с документом.
Еще несколько интересных плагинов находятся в пакете gedit-plugins. Их можно установить, выбрав необходимый пакет в синаптике, или набрав в окне терминала:
sudo apt-get install gedit-plugins
Вот еще немного полезных дополнений, появляющихся после установки пакета:
Цветовая пипетка - добавляет возможность вызова стандартного диалога для выбора цвета. Запускается из меню Сервис -> Цветовая пипетка.Шестнадцатеричный код выбранного цвета можно сразу же вставить с документ.
Встроенный терминал - аналогично консоли python, только открывает окно терминала. Как по мне - очень удобно пишешь скрипт - и тестируешь результат в одном окне.
Session Saver - что-то вроде менеджера сессий для FireFox. Позволяет сохранять и позже восстанавливать сессию - список открытых файлов. Вызывается через меню Файл -> Saved Sessons.
На сайте доступно намного больше плагинов, но устанавливать их нужно вручную. Способы установки могут быть разными, но для большинства плагинов достаточно положить необходимые файлы в каталог ~/.gnome2/gedit/plugins.
На странице дополнений для Gedit имеется список доступных плагинов и документации.
Подписаться на:
Комментарии к сообщению (Atom)
2 комментария:
А паку ~/.gnome2/gedit/plugins. нужно самому создавать? Или она уже есть?
Зависит от дистрибутива, настроек... хз. В убунту 8.04 давеча ставил плагин на смену кодировок - сам создавал.
Отправить комментарий