Установка:
Для установки gedit-developer-plugins в Ubuntu / Linux Mint, введите в Терминал:
sudo apt update
sudo apt install gedit-developer-plugins
Подробная информация о пакете:
Набор плагинов gedit для разработчиков
-
Зависимости:
-
Официальный текстовый редактор рабочей среды GNOME
-
Данные интроспекции для GLib, GObject, Gio и GModule
-
GTK+ графическая библиотека пользовательского интерфейса - gir bindings
-
Интерактивный высокоуровневый объектно-ориентированный язык (ветка 2.x)
-
Связывание Python 2.x для библиотек-интроспекции gobject
-
Композитный лайнер и проверка стиля