EW: Allow to override preferred terminal emulator via $TERMINAL
Allow to override the user's preferred terminal emulator via setting the
$TERMINAL environment variable (a quasi standard that hopefully does not
conflict with anything).
The variable might also contain preferred arguments. Thus the logic to
distinguish terminal emulators for the purpose of composing the final
command line has been slightly extended.
(No files)
Note:
See TracChangeset
for help on using the changeset viewer.
