[bash] Heure en timestamp

Heure en timestamp [bash] - Shell/Batch - Programmation

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.

Reply

Marsh Posté le 04-09-2006 à 19:20:05   

Reply

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...

Reply

Marsh Posté le 04-09-2006 à 22:55:41    

Dagnan a écrit :

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.


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

Reply

Marsh Posté le 05-09-2006 à 23:37:16    

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

Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed