| Patrick Williams | c0f7c04 | 2017-02-23 20:41:17 -0600 | [diff] [blame] | 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 $@ | ||||