#!/bin/sh # Un exemple de boucle : grepc="$(cat .grsync/default.log | grep -c "fin-gm-grsync-2015-05.php")" # while [ 1 ]; while [ "$grepc" -ne "1" ]; do echo "$(date +%H%M%S)" sh scripts/grepc.sh sleep 10 done echo "Grepc = 1 OK" echo $grepc exit 0