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.src [1.9 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.src [1.9 MiB] |
Changelog by Philippe Troin (2017-01-08):
- Disable the gnome-shell search provider, it's broken. |