1
2
3
4
5
6
7
8
9
10
11
12
| #!/bin/sh
| #
| # SPDX-License-Identifier: GPL-2.0-only
| #
| # 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 $@
|
|
