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