Changeset c35cc8b in mainline

Timestamp:

2026-01-29T15:05:24Z (3 weeks ago)

Author:

Martin Decky <martin@…>

Branches:

master

Children:

26a9388

Parents:

81805e0

Message:

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.

File:

• tools/ew.py (modified) (2 diffs)

tools/ew.py

@@ -76 +76 @@
 
 def termemu_detect():
-        emus = ['gnome-terminal', 'xfce4-terminal', 'xterm']
+        emus = ['gnome-terminal', 'foot', 'xfce4-terminal', 'xterm']
+
+        if 'TERMINAL' in os.environ:
+                emus.insert(0, os.environ['TERMINAL'])
+
         for termemu in emus:
                 try:
@@ -89 +93 @@
 def run_in_console(cmd, title):
         temu = termemu_detect()
-        if temu == 'gnome-terminal':
+
+        if os.path.basename(temu.split(' ')[0]) in ['gnome-terminal', 'foot']:
                 cmdline = temu + ' -- ' + cmd
         else: