un timer en shell - retour accueil
git clone git://bebou.netlib.re/timer
Log | Files | Refs |
commit d5da4198c250fe4d51d1c35ada769bb82f1eab5f parent 7f65e938eda99bb1f8b4bf8e817bd3f02a1ebcc2 Auterice: Arthur Pons <arthur.pons@unistra.fr> Date: Thu, 11 Jan 2024 23:25:49 +0100 Grosses modifs Ajout de l'aide Ajout de valeurs par défaut Inversion des paramètres Ajout d'un affichage hh:mm:ss basé sur date Dormir 0.995 pour plus ou moins compenser le temps d'exec Diffstat:
M | timer | | | 31 | ++++++++++++++++++++++++++----- |
1 file changed, 26 insertions(+), 5 deletions(-)
diff --git a/timer b/timer @@ -1,8 +1,29 @@ #! /bin/sh -sec=$(( $1*3600+$2*60+$3 )) -for i in $(seq $sec -1 0) -do - echo $i - sleep 1 +if [ "$1" = "-h" -o "$1" = "--help" ] +then +<<. cat +timer [secondes] [minutes] [heure] + +Un minuteur avec un maximum de 24h, 59 minutes et 59 secondes. +Ne pas utiliser pour des cas nécessitant une bonne précision + +En l'absence d'un argument sa valeur par défaut sera 0. + +Exemples : + +30 secondes : ./timer 30 +2 minutes et 15 secondes : ./timer 15 2 +4 heures : ./timer 0 0 4 + +./timer 30 est identique à ./timer 30 0 0 +./timer 135 est identique à ./timer 15 2 +. +exit 0 +fi + +sec=$(( ${3:-0}*3600+${2:-0}*60+${1:-0} )) +for i in $(seq $sec -1 1);do + date --date "01 jan 1970+$i seconds" +'%H:%M:%S' + sleep 0.995 done