Guardar en variables partes de un fichero de texto

BocaDePez 6 diciembre 2010 21:49

⋮

Hola, a ver si me puedo explicar :P , estoy tratando de hacer un pequeño script que guarda lo que tarda en ejecutarse un comando mediante la orden time, y quiero guardar los datos en las variables $real, $user, $system, es decir, tras hacer

time $1 >> temporal

quiero guardar el tiempo real que me da time en la variable $real, el tiempo user que en $user, etc...

El problema es que no se como hacer eso. No se como tratar el fichero de texto temporal para guardar solo el tiempo.

¿Alguna ayudita?

superllo 6 diciembre 2010 22:08

⋮

¿Y guardarlo en un fichero físico en /tmp?

✖

BocaDePez 6 diciembre 2010 22:15

⋮

El guardarlo en un fichero no es el problema, el problema es guardar en las variables que he puesto el tiempo correspondiente que me muestra time X(

✖

superllo 6 diciembre 2010 22:51

⋮

Tienes razón, no me había dado cuen que la salida no es estándar. He intentado redirigir la salida de error pero tampoco. Viendo esta web (haciendo una búsqueda) he visto que haciendo algo del estilo:

bash -c 'time echo "foo"' 2> time.out

Se consigue guardar ese texto.

BocaDePez 6 diciembre 2010 23:18

⋮

¡Gracias!