Heure en timestamp [bash] - Shell/Batch - Programmation
Marsh Posté le 04-09-2006 à 19:36:33
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...
Marsh Posté le 04-09-2006 à 22:55:41
Dagnan a écrit : Bonsoir. |
Essaye "time pgm" (pgm étant le nom du programme que tu veux tester)...
Marsh Posté le 05-09-2006 à 23:37:16
Merci. Mais en fait j'ai continué avec date, ça semble fonctionner
Marsh Posté le 04-09-2006 à 19:20:05
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.