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
