Bonsoir.
 
Voilà je m'amuse bien avec le shell. J'ai besoin de tester le temps d'execution d'un programme (récupéré dans le ps) pour voir s'il ne tourne pas dans le vent depuis une heure pour rien.
J'ai le temps au format 00:00:00 et je voudrais soit un timestamp (pour comparer), ou convertir ça en secondes.
 
Je ne sais pas s'il existe une commande toute jolie comme dans php par exemple, pour manipuler les dates. La conversion impliquerait l'utilisation de sed ou awk, mais j'espère ne pas avoir à en arriver là.
 
Merci d'avance.

Je viens de trouver la commande
 
date -d "00:00:00" +%s
 
Ca fait bien ce que je veux ? D'après mes tests oui, mais je suis pas vraiment sûr, ça me semble bizarre...

Essaye "time pgm" (pgm étant le nom du programme que tu veux tester)...

Merci. Mais en fait j'ai continué avec date, ça semble fonctionner