oe-gnome-terminal-phonehome 260 B

12345678910
  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 $@