Guest User

Untitled

a guest
Oct 15th, 2018
113
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.24 KB | None | 0 0
  1. #!/bin/sh
  2.  
  3. log_file="/tmp/ping.log"
  4.  
  5. do_ping() {
  6. (
  7. echo "==== Starting ping at `date` ===="
  8. echo
  9. ping 4.2.2.2 -c 4
  10. echo
  11. echo "==== Ping done at `date` ===="
  12. echo
  13. ) 2>&1 >> "$log_file"
  14. }
  15.  
  16. (sleep 30; do_ping) &
  17. do_ping
Add Comment
Please, Sign In to add comment