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