gnome-terminal

Terminal emulator for GNOME

Description:

gnome-terminal is a terminal emulator for GNOME. It features the ability to use
multiple terminals in a single window (tabs) and profiles support.

Homepage: http://www.gnome.org/

License: GPLv3+ and GFDL

Vendor: Philippe Troin <phil@fifi.org>

Packages

gnome-terminal-3.22.1-5.0.0.1.fif25.i686 [1.2 MiB] Changelog by Philippe Troin (2017-03-12):
- Disable the gnome-shell search provider, it's broken.
gnome-terminal-3.22.1-2.0.0.1.fif25.i686 [1.2 MiB] Changelog by Philippe Troin (2017-01-08):
- Disable the gnome-shell search provider, it's broken.