diff options
author | Richard Purdie <richard.purdie@linuxfoundation.org> | 2016-07-06 17:08:57 +0100 |
---|---|---|
committer | Richard Purdie <richard.purdie@linuxfoundation.org> | 2016-07-08 10:50:00 +0100 |
commit | 76e8ab47c936674b8bb9bf1c48de53b30f5bf74a (patch) | |
tree | daffb48260aa88f16a3986fd0cac6aa30468c3b6 | |
parent | 0c36984d4c501d12fa91cf7371511641585cc256 (diff) | |
download | openembedded-core-76e8ab47c936674b8bb9bf1c48de53b30f5bf74a.tar.gz openembedded-core-76e8ab47c936674b8bb9bf1c48de53b30f5bf74a.tar.bz2 openembedded-core-76e8ab47c936674b8bb9bf1c48de53b30f5bf74a.zip |
terminal: Fix gnome-terminal to work with recent versions
Currently gnome-terminal just returns straight away, opening a terminal in a new
separate process we have no insight into. For patch resolution, this leads to
spawning many different terminal windows, for pydevshell, it just flashes a window
up and then closes.
We need to block until the command completes but gnome-terminal gives us no way
to do this. We therefore write the pid to a file using a "phonehome" wrapper
script, then monitor the pid until it exits.
[YOCTO #7254]
(also fixing do_devpyshell)
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
-rw-r--r-- | meta/lib/oe/terminal.py | 23 | ||||
-rwxr-xr-x | scripts/oe-gnome-terminal-phonehome | 10 |
2 files changed, 32 insertions, 1 deletions
diff --git a/meta/lib/oe/terminal.py b/meta/lib/oe/terminal.py index 7f4458ea33..4a5ab1abba 100644 --- a/meta/lib/oe/terminal.py +++ b/meta/lib/oe/terminal.py @@ -66,7 +66,28 @@ class Gnome(XTerminal): if vernum and LooseVersion(vernum) >= '3.10': logger.debug(1, 'Gnome-Terminal 3.10 or later does not support --disable-factory') self.command = 'gnome-terminal -t "{title}" -x {command}' - XTerminal.__init__(self, sh_cmd, title, env, d) + + # We need to know when the command completes but gnome-terminal gives us no way + # to do this. We therefore write the pid to a file using a "phonehome" wrapper + # script, then monitor the pid until it exits. Thanks gnome! + + import tempfile + pidfile = tempfile.NamedTemporaryFile(delete = False).name + try: + sh_cmd = "oe-gnome-terminal-phonehome " + pidfile + " " + sh_cmd + XTerminal.__init__(self, sh_cmd, title, env, d) + while os.stat(pidfile).st_size <= 0: + continue + with open(pidfile, "r") as f: + pid = int(f.readline()) + finally: + os.unlink(pidfile) + + while True: + try: + os.kill(pid, 0) + except OSError: + return class Mate(XTerminal): command = 'mate-terminal -t "{title}" -x {command}' diff --git a/scripts/oe-gnome-terminal-phonehome b/scripts/oe-gnome-terminal-phonehome new file mode 100755 index 0000000000..e02354883a --- /dev/null +++ b/scripts/oe-gnome-terminal-phonehome @@ -0,0 +1,10 @@ +#!/bin/sh +# +# Gnome terminal won't tell us which PID a given command is run as +# or allow a single instance so we can't tell when it completes. +# This allows us to figure out the PID of the target so we can tell +# when its done. +# +echo $$ > $1 +shift +exec $@ |