Bug#773915: 'Run in terminal' should use the preferred terminal

Michael Biebl biebl at debian.org
Tue Jan 24 13:46:02 UTC 2017


retitle 773915 'Run in terminal' should use the preferred terminal
forwarded 773915 https://bugzilla.gnome.org/show_bug.cgi?id=627943#c31
tags 773915 - patch

thanks

Thinking about this, I came to the conclusion that the proposed solution
is insufficient

a/ x-terminal-emulator can point to arbitrary terminals where we don't
know if they provide the necessary interface (see the comment regarding -x)

b/ x-terminal-emulator is set system-wide, whereas you really want the
desktop environment set the preferred terminal (giving the user the
ability to override this without requiring root privileges).

There is an ongoing upstream discussion, so marking accordingly.

-- 
Why is it that all of the instruments seeking intelligent life in the
universe are pointed away from Earth?

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20170124/e5f05620/attachment.sig>


More information about the pkg-gnome-maintainers mailing list