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 648422 - gnome-shell should use preferred terminal, not gnome-terminal
gnome-shell should use preferred terminal, not gnome-terminal
Status: RESOLVED FIXED
Product: gnome-shell
Classification: Core
Component: general
3.0.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2011-04-21 20:24 UTC by Reuben Thomas
Modified: 2011-06-01 17:30 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
run-dialog: Use user preference when executing in terminal (2.15 KB, patch)
2011-06-01 11:44 UTC, Florian Müllner 		committed Details | Review

Description Reuben Thomas 2011-04-21 20:24:17 UTC 
gnome-shell is hardwired to use gnome-terminal when executing a command in a terminal (at least from my reading of the source of 3.0.0.2). It should instead use the configured preferred terminal emulator.
Comment 1 Florian Müllner 2011-06-01 11:44:21 UTC 
Created attachment 188989 [details] [review]
run-dialog: Use user preference when executing in terminal

Rather than hardcoding gnome-terminal, pick up the user's preferred
terminal from System Settings.
Comment 2 Owen Taylor 2011-06-01 17:27:44 UTC 
Review of attachment 188989 [details] [review]:

Looks good to me
Comment 3 Florian Müllner 2011-06-01 17:30:18 UTC 
Attachment 188989 [details] pushed as aa4dbee - run-dialog: Use user preference when executing in terminal