El time
comando devuelve una tabla como esta?
real 0m1.607s
user 0m0.154s
sys 0m0.032s
Estoy ejecutando esto dentro de un script de shell. ¿Cuál es la forma más sencilla de procesar la time
salida para que obtenga una variable $RUNTIME
que contenga la suma usuario + sys en milisegundos?
time
para obtener las dos variables,$sys
y$user
puedo