BandaAncha.eu

Comunidad de usuarios
de fibra, móvil y ADSL

Guardar en variables partes de un fichero de texto

BocaDePez
BocaDePez

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

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

🗨️ 2
BocaDePez
BocaDePez

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(

🗨️ 1
superllo

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
BocaDePez

¡Gracias!