| Patrick Williams | c0f7c04 | 2017-02-23 20:41:17 -0600 | [diff] [blame] | 1 | #!/bin/sh |
| 2 | # | ||||
| Brad Bishop | c342db3 | 2019-05-15 21:57:59 -0400 | [diff] [blame] | 3 | # SPDX-License-Identifier: GPL-2.0-only |
| 4 | # | ||||
| Patrick Williams | c0f7c04 | 2017-02-23 20:41:17 -0600 | [diff] [blame] | 5 | # Gnome terminal won't tell us which PID a given command is run as |
| 6 | # or allow a single instance so we can't tell when it completes. | ||||
| 7 | # This allows us to figure out the PID of the target so we can tell | ||||
| 8 | # when its done. | ||||
| 9 | # | ||||
| 10 | echo $$ > $1 | ||||
| 11 | shift | ||||
| 12 | exec $@ | ||||