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 /scripts | |
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>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/oe-gnome-terminal-phonehome | 10 |
1 files changed, 10 insertions, 0 deletions
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 $@ |