Dauer eines Befehls messen/stoppen mit "time"

[mod_che]

Hallo.
Ich habe ein bash-Shell-Script geschrieben (aufm Mac fürs Terminal), welches aus einer Textdatei Dateinamen zeilenweise liest und diese dann durch den Aufruf eines Java-Scripts von einem Server runterlädt. Das klappt auch, der Aufruf des JAva Scripts folgt in einer Schleife, solange in liste.txt noch Zeilen sind sozusagen. Das klappt auch. Ich hätte gerne eine Anzeige, wie lange ein Schliefendurchgang = einmal Aufruf des Java Scripts = 1 Download dauert. Die Dateien sind nämlich unterschiedlich groß.

Ich habe dem Aufruf ein

time -p

vorangestellt, misst auch die Zeit, aber die Ausgabe ist immer real x.xxx user x.xxxx und sys x.xxxx und ich will nur real mm:ss haben, den Rest nicht. Pipes funktionieren bei time ja nicht. Wie kann ich das lösen? Schluss endlich will ich die zu erwartende Downloadzeit aus der bisher durchschnittlichen Downloadzeit für alle schon heruntergeladenen Dateien und der Anzahl der noch zu ladenden Dateien (Anzahl und Counter habe ich schon) ermitteln.

Danke und Grüße

[quarx]

Dann lies doch mal die Manpage

man time

Es lassen sich via Option -f (statt -p) beliebige Ausgabeformate definieren.

[mod_che]

habe ich, da sind nur die optionen -l und -p aufgeführt. -f kennt time nicht.

[quarx]

Ups, sorry, ich war unter Linux unterwegs. Da funktioniert die BSD-Version von time wohl wieder anders als die GNU-Variante. Warte mal kurz...

[mod_che]

Kein Problem, bin für Hilfe dankbar und warte auch gerne kurz Ich dachte eben auch, dass ich mir via (|) nur die "real"-Zeile rausgeben lassen könnte, aber das funktioniert nicht. Schlussendlich will ich nur den Sekundenwert für die Dauer der Befehlsausführung (=1 Download)

[NobiMan]

date "+%M:%S"

Den Ausgabewert jeweils vor und nach dem Aufruf des Skripts in je eine Variable schreiben und mittels expr die Differenz berechnen, sollte das tun was Du möchtest.

[quarx]

Ich dachte eben auch, dass ich mir via (|) nur die "real"-Zeile rausgeben lassen könnte, aber das funktioniert nicht.

Das geht deshalb nicht, weil time seine Ausgabe in die Standardfehlerausgabe stderr schreibt und nicht in die Standardausgabe stdout. Du musst vorher umleiten, etwa so:

(time -p echo "hallo") 2>&1 | grep "real"

[mod_che]

habs! danke dir.

starttime=$(date +%s)
...
echo -e "\t Download file xyz in "$[$(date +%s)-$starttime] "second(s).\n"

[NobiMan]

habs! danke dir.

starttime=$(date +%s)
...
echo -e "\t Download file xyz in "$[$(date +%s)-$starttime] "second(s).\n"

Ausser: Der Download beginnt zur Sekunde 59 und endet zur Sekunde 03.
Da kommt dann Quatsch raus, den date +%s gibt die aktuelle Sekunde der aktuellen Minute aus!!!

[mod_che]

Nein, der Befehl gibt die Anzahl der Sekunden von einem Startdatum aus an, ziemlich sicher. Nimmt zumindest keine Werte zwischen 0 und 60 an.