Gente, tengo un problemilla..
Estoy realizando un script que hace descargas usando wget.. el tema es que quiero hacer algo asi...
Copiando $ARCHIVO...
Copia finalizada en TIEMPO_TOTAL_DE_DESCARGA
Y veo que con el comando "time" lo puedo obtener, pero no se como hacer para filtrar la palabra "real" con su tiempo.. Ya probe asi:
Código:
time wget blablabla.zip | grep "real" | awk 'print {$2}'
...pero así no anda... y necesito aislar el valor de "real"... espero me hayan entendido..
Código:
mellow@machine:~$ time wget http://server.blablabla.com/archivo.zip
--21:58:27-- http://server.blablabla.com/archivo.zip
=> `archivo.zip'
Resolviendo server.blablabla.com... falló: Nombre ó servicio desconocido.
real 0m2.110s
user 0m0.004s
sys 0m0.008s
mellow@machine:~$ w
Gracias.