After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 711199 - [rfe] Add an option to change default terminal
[rfe] Add an option to change default terminal
Status: RESOLVED DUPLICATE of bug 653363
Product: gnome-control-center
Classification: Core
Component: Other Preferences
unspecified
Other All
: Normal enhancement
: ---
Assigned To: Control-Center Maintainers
Control-Center Maintainers
Depends on:
Blocks:
 
 
Reported: 2013-10-31 10:49 UTC by Christian Stadelmann
Modified: 2013-10-31 10:56 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Christian Stadelmann 2013-10-31 10:49:46 UTC 
Currently we have gnome-terminal plus some fallback terminals (nxterm, color-xterm, rxvt, xterm, dtterm) hard-coded in https://git.gnome.org/browse/glib/tree/gio/gdesktopappinfo.c
I don't think this is a good idea since some people may want to change the default terminal emulator just as they choose their web browser or mail client.
Comment 1 Bastien Nocera 2013-10-31 10:56:40 UTC 
Thanks for the bug report. This particular bug has already been reported into our bug tracking system, but please feel free to report any further bugs you find.

*** This bug has been marked as a duplicate of bug 653363 ***