Como passar cada comando (digitado no shell) através time
do comando?
Motivo da pergunta: necessidade de medir o tempo de execução de cada comando (sem digitar time
todas as vezes).
Exemplo (comportamento desejado):
$ sleep 1
real 0m1.047s
user 0m0.015s
sys 0m0.000s