How to Install gedit-plugin-terminal in Ubuntu 18.04



Install gedit-plugin-terminal by entering the following commands in the terminal:

sudo apt update
sudo apt install gedit-plugin-terminal

Description:

Terminal plugin for gedit

gedit-plugins contain a set of plugins for gedit, GNOME's text editor. . This plugin embeds a terminal in the bottom pane.

Homepage: https://wiki.gnome.org/Apps/Gedit#Plugins

Version: 3.28.1-1

Section: universe/gnome