| rjw | 1f88458 | 2022-01-06 17:20:42 +0800 | [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 $@ | ||||