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.