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