a standard for the user's default terminal

[Hongli Lai]

Kevin Krammer wrote:
> Valid use case, I have to admit I didn't think about non-DE filemanagers.
> 
> Maybe, as a intermediate solution, start whatever $TERM points to if it is set 
> and/or offer a setting for the preferred terminal. Users wanting a terminal 
> should be able to configure this.
> 
> Cheers,
> Kevin

Starting $TERM will often not work correctly. Both gnome-terminal and 
Konsole set $TERM to xterm.