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:18 +0100 |
commit | c706bfbabbf9f7caf2cf509eb91381fb49aa44cb (patch) | |
tree | 7b43b206da86104e415676fb5eb5e4a5adfffbba /scripts | |
parent | 9df3cdf42d8c1216682f497f0b166a43ef9f4184 (diff) | |
download | poky-c706bfbabbf9f7caf2cf509eb91381fb49aa44cb.tar.gz |
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)
(From OE-Core rev: 76e8ab47c936674b8bb9bf1c48de53b30f5bf74a)
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 @@ | |||
1 | #!/bin/sh | ||
2 | # | ||
3 | # Gnome terminal won't tell us which PID a given command is run as | ||
4 | # or allow a single instance so we can't tell when it completes. | ||
5 | # This allows us to figure out the PID of the target so we can tell | ||
6 | # when its done. | ||
7 | # | ||
8 | echo $$ > $1 | ||
9 | shift | ||
10 | exec $@ | ||