¿Cómo pasar cada comando (escrito en el shell) a través time
del comando?
Motivo de la pregunta: necesidad de medir el tiempo de ejecución de cada comando (sin escribir time
cada vez).
Ejemplo (comportamiento deseado):
$ sleep 1
real 0m1.047s
user 0m0.015s
sys 0m0.000s