Shellscript: Zeitdauer darstellen

[katze123]

Ich messe die Zeitdauer, die für die Ausführung einiger Zeilen benötigt wird, folgendermaßen:

Code: Alles auswählen

zeit1=$(date "+%s.%N")
<auszuführende Zeilen>
zeit2=$(date "+%s.%N")
dauer=$( echo "$zeit2 - $zeit1" | bc )

Das funktioniert soweit ganz gut. Wenn ich $dauer mittels echo ausgebe, wird die Dauer in Sekunden ausgegeben, z.B. 844.989208485. Diese Darstellung gefällt mir aber nicht so gut. Ich würde zunächst gerne die ganzen Nachkommastellen loswerden (egal, ob die Zahl dabei gerundet oder abgeschnitten wird). Dann würde ich gerne die Dauer in Stunden, Minuten und Sekunden darstellen (in diesem Beispiel 00:14:05).
Wie stelle ich so etwas an? Google hat mir nicht sehr weitergeholfen.

[rodney]

Bei Suchen ist es oft hilfreich englische Begriffe zu verwenden . Ich habe mal nach "shell date convert seconds to hours minutes" gesucht. Hoffe es hilft dir weiter: $(date -u -d @${dauer} +"%T")

Code: Alles auswählen

zeit1=$(date "+%s.%N")
<auszuführende Zeilen>
zeit2=$(date "+%s.%N")
dauer=$( echo "$zeit2 - $zeit1" | bc )
dauerhms=$(date -u -d @${dauer} +"%T")

Quelle mit Erklaerung: https://stackoverflow.com/questions/134 ... e-in-shell

[Phineas]

$(date -u -d @${dauer} +"%T")

Das funktioniert aber nur, solange die Dauer nicht größer ist als 24 Stunden.

Ich würde zunächst gerne die ganzen Nachkommastellen loswerden

Wieso lässt Du sie dann von date anzeigen? date +%s ohne .%N ist doch dann gut!? Dann klappt es auch mit den Arithmetikfähigkeiten der Shell (Bash?), Division und Modulo reichen dann aus.
(Ja gut: Wenn Stunden/Minuten/Sekunden unbedingt zweistellig sein sollen, braucht man noch etwas printf)