diff options
author | Joe Slater <joe.slater@windriver.com> | 2020-05-21 11:41:07 -0700 |
---|---|---|
committer | Richard Purdie <richard.purdie@linuxfoundation.org> | 2020-05-27 10:47:09 +0100 |
commit | 6e4babdeee38d32002a4c9129e77466ae4156dd7 (patch) | |
tree | 01bb53af3ac6d6a7525d51797f8100456a1b4765 /meta | |
parent | b3fda056a674889cd9697e779de023d4f993d3ce (diff) | |
download | openembedded-core-6e4babdeee38d32002a4c9129e77466ae4156dd7.tar.gz |
terminal.py: do not stop searching for auto
If a terminal fails to spawn() we should continue looking.
gnome-terminal, in particular can be present but not start.
Signed-off-by: Joe Slater <joe.slater@windriver.com>
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
Diffstat (limited to 'meta')
-rw-r--r-- | meta/lib/oe/terminal.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/meta/lib/oe/terminal.py b/meta/lib/oe/terminal.py index a1daa2bed6..eb10a6e33e 100644 --- a/meta/lib/oe/terminal.py +++ b/meta/lib/oe/terminal.py @@ -207,7 +207,10 @@ def spawn_preferred(sh_cmd, title=None, env=None, d=None): spawn(terminal.name, sh_cmd, title, env, d) break except UnsupportedTerminal: - continue + pass + except: + bb.warn("Terminal %s is supported but did not start" % (terminal.name)) + # when we've run out of options else: raise NoSupportedTerminals(get_cmd_list()) |