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:
...pero así no anda... y necesito aislar el valor de "real"... espero me hayan entendido..time wget blablabla.zip | grep "real" | awk 'print {$2}'
Código:
Gracias. 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