|
#!/bin/sh
|
|
#
|
|
# 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 $@
|