Formato personalizado para el comando de hora

Question

Me gustaría utilizar el comando time en un script bash para calcular el tiempo transcurrido del script y escribirlo en un archivo de registro. Solo necesito el en tiempo real, no el usuario ni el sistema. También lo necesito en un formato decente. e.g 00: 00: 00: 00 (no como la salida estándar). Agradezco cualquier consejo.

El formato esperado supone que es 00:00:00.0000 (milisegundos) [horas]: [minutos]: [segundos] [milisegundos]

ya he 3 guiones.. Vi un ejemplo como este:

{ time { # section code goes here } } 2> timing.log 

Pero solo me falta el tiempo real, no el usuario y sys. También lo necesito en un formato decente. por ejemplo, 00:00:00:00 (no como la salida estándar).

En otras palabras, me gustaría saber cómo convertir la salida del tiempo en algo más fácil de procesar.

Answer 1

usted podría utilizar el comando date para obtener la hora actual antes y después de realizar el trabajo a ser cronometrado y calcular la diferencia de esta manera:

#!/bin/bash 

# Get time as a UNIX timestamp (seconds elapsed since Jan 1, 1970 0:00 UTC) 
T="$(date +%s)" 

# Do some work here 
sleep 2 

T="$(($(date +%s)-T))" 
echo "Time in seconds: ${T}" 

printf "Pretty format: %02d:%02d:%02d:%02d\n" "$((T/86400))" "$((T/3600%24))" "$((T/60%60))" "$((T%60))"" 

Notas: $ ((...)) se puede utilizar para la aritmética básica en bash – precaución: no ponga espacios antes de un menos - ya que esto podría interpretarse como una opción de línea de comandos.

Consulte también: http://tldp.org/LDP/abs/html/arithexp.html

EDIT:
Además, es posible que desee echar un vistazo a sed para buscar y extraer subcadenas de la salida generada por tiempo.

EDIT:

Ejemplo para la sincronización con milisegundos (en realidad nanosegundos pero truncado para milisegundos aquí). Su versión de date debe admitir el formato %N y bash debe admitir números grandes.

# UNIX timestamp concatenated with nanoseconds 
T="$(date +%s%N)" 

# Do some work here 
sleep 2 

# Time interval in nanoseconds 
T="$(($(date +%s%N)-T))" 
# Seconds 
S="$((T/1000000000))" 
# Milliseconds 
M="$((T/1000000))" 

echo "Time in nanoseconds: ${T}" 
printf "Pretty format: %02d:%02d:%02d:%02d.%03d\n" "$((S/86400))" "$((S/3600%24))" "$((S/60%60))" "$((S%60))" "${M}" 

RENUNCIA:
Mi versión original dice

M="$((T%1000000000/1000000))" 

pero esto fue editado a cabo, ya que al parecer no funciona para algunas personas, mientras que la nueva versión según se informa hizo. No aprobé esto porque creo que debes usar el resto solamente, pero se votó en mayor grado.
Elija lo que le quede bien.

Answer 2

No estoy seguro de lo que estás preguntando, ¿ha intentado:

time yourscript | tail -n1 >log 

Editar: ok, para que sepa cómo conseguir los tiempos y lo que desea es cambiar el formato. Sería de gran ayuda si usted describió qué formato desea, pero aquí hay algunas cosas para probar:

time -p script 

Esto cambia la salida a una vez por la línea en cuestión de segundos con decimales. Sólo desea que el tiempo real, no los otros dos por lo que para obtener el número de segundos que utiliza:

time -p script | tail -n 3 | head -n 1 

Answer 3

Desde el man page for time:

1. Puede haber una cáscara incorporado llamado tiempo, evita este especificando /usr/bin/time

2. Puede proporcionar una cadena de formato y una de las opciones de formato es el tiempo transcurrido, por ejemplo %E

   /usr/bin/time -f'%E' $CMD

Ejemplo:

$ /usr/bin/time -f'%E' ls /tmp/mako/ 
res.py res.pyc 
0:00.01 

Answer 4

Para utilizar el Bash orden interna time en lugar de /bin/time puede establecer esta variable:

TIMEFORMAT='%3R' 

el cual te mostrará el tiempo real que se ve así:

5.009 

o

65.233 

El número especifica la precisión y puede variar de 0 a 3 (el valor predeterminado).

Se puede utilizar:

TIMEFORMAT='%3lR' 

para obtener una salida que se parece a:

3m10.022s 

El l (ELL) da un formato largo.

Answer 5

Utilice la variable incorporada bash SECONDS. Cada vez que haga referencia a la variable, devolverá el tiempo transcurrido desde la invocación del script.

Ejemplo:

echo "Start $SECONDS" 
sleep 10 
echo "Middle $SECONDS" 
sleep 10 
echo "End $SECONDS" 

de salida:

Start 0 
Middle 10 
End 20