Public Pastes
daily pastebin goal
30%
SHARE
TWEET

Untitled

a guest May 20th, 2016 57 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #!/bin/bash
  2.  
  3. PID=$1
  4.  
  5. #delay is in seconds
  6. DELAY=1
  7. while [ -e /proc/$PID ]
  8. do
  9.     sleep $DELAY;
  10.     echo "sleeping"
  11. done
  12.  
  13. echo $PID has finished
RAW Paste Data
Top