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

[Simon McVittie]

On Tue, 24 Jan 2017 at 14:46:02 +0100, Michael Biebl wrote:
> 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)

Policy §11.8.3 now says that an x-terminal-emulator must implement an
xterm-compatible -e option (so gnome-terminal is not an acceptable
implementation of x-terminal-emulator, but the Debian-specific
wrapper script gnome-terminal.wrapper is).

> 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).

This remains a valid concern, although checking for x-terminal-emulator
would be no worse than the current situation.

The closest thing to a resolution upstream seems to be that Allison
Lortie thinks we should patch in a check for x-terminal-emulator.

    smcv