gba_launch_gpsp.sh 193 B

12345678910
  1. #!/bin/sh
  2. # Launch the process in background, record the PID into a file, wait
  3. # for the process to terminate and erase the recorded PID
  4. cd ${HOME}
  5. gpsp "$1"&
  6. pid record $!
  7. wait $!
  8. pid erase