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?
bash
time-command
llamar
fuente
fuente
time
para obtener las dos variables,$sys
y$user
puedoRespuestas:
Si necesita usar la
time
función incorporada bash , usaría el siguiente comando:Ejemplos:
fuente
echo "2.577 + 0.164 * 1000" | bc -l
realidad se evalúa como166.577
. Debes insertar explícitamente los paréntesis alrededor de la suma para obtener la respuesta correcta.Hacer esto
Ejecute su comando usando el siguiente script, sustituto
your_command
.ahora la variable ALL_TIME almacena dos valores: `
Ahora necesita resumir los valores. Use el script a continuación
No olvide establecer RUNTIME en cero .
Fuentes
Cómo grep del tiempo
¿Redirigir la salida del comando de tiempo en Unix a una variable en bash?
fuente