Установка:
Для установки gedit-plugin-terminal в Ubuntu / Linux Mint, введите в Терминал:
sudo apt update
sudo apt install gedit-plugin-terminal
Подробная информация о пакете:
Терминальный плагин для gedit
-
Зависимости:
-
Простая система хранения конфигурации - базовый сервер GSettings
-
Официальный текстовый редактор рабочей среды GNOME
-
Общие файлы для gedit-plugins
-
Данные интроспекции для GLib, GObject, Gio и GModule
-
GTK+ графическая библиотека пользовательского интерфейса - gir bindings
-
Макет и предоставление интернационализированных текстовых привязок
-
Библиотека плагина приложения (файлы интроспекции)
-
Данные интроспекции GObject для библиотеки VTE
-
Интерактивный высокоуровневый объектно-ориентированный язык (версия python3 по умолчанию)
-
Связи Python 3 для библиотек -объектов gobject
-
gsettings-backend