[Summary view] [Print] [Text view]

   1  #!/bin/bash
   2  # $Id: waitDel.sh 5644 2010-06-22 23:42:35Z keyser $
   3  # attend un peu avant d'effacer un fichier lock
   4  # usage $0 fichier tempo (secondes)
   5  sleep $2s
   6  rm -f $1
   7