bash: passa cada comando pelo comando time (para medir o tempo de execução)

bash: passa cada comando pelo comando time (para medir o tempo de execução)

Como passar cada comando (digitado no shell) através timedo comando?

Motivo da pergunta: necessidade de medir o tempo de execução de cada comando (sem digitar timetodas as vezes).

Exemplo (comportamento desejado):

$ sleep 1
real    0m1.047s
user    0m0.015s
sys     0m0.000s

informação relacionada