Ausgabe von Time pipen

[Anonymous]

Ich würde gerne die Zeit messen die ich benötige um eine Webseite zu laden. Zum messen benutze ich time und zum laden wget.

time wget http://www.google.de --10:32:03-- http://www.google.de/
Resolving http://www.google.de... 209.85.135.104, 209.85.135.103, 209.85.135.99, ...
Connecting to http://www.google.de|209.85.135.104|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: unspecified [text/html]

[ <=> ] 3,056 --.--K/s

10:32:03 (72.86 MB/s) - `index.html.5' saved [3,056]


real 0m0.073s
user 0m0.000s
sys 0m0.000s

Sieht soweit ganz gut aus. Nun mein Problem: Ich würde gerne die zeit "real" in eine Variable packen. Mit grep und awk ja eigentlich kein Problem aber ich komme leider nicht dran....

Mit:
time wget http://www.google.de >/dev/null &>/dev/null |grep real bekomme ich die zwar die Ausgabe von wget weg, der Rest bleibt aber stehen. Wie kann ich da dran kommen? Oder vielleicht ne andere Idee wie ich per Bash Skript ne variable füllen kann mit der Zeit die ich brauche um eine Webseite zu laden?

[juergen]

Die GNU version von time hat ein paar nette Erweiterungen. Wenn du diese hast:

Code: Select all

real=$(/usr/bin/time -f "%e" wget -q http://www.google.de -O /dev/null 2>&1)