bash: jeden Befehl durch den Zeitbefehl weiterleiten (um die Ausführungszeit zu messen)

bash: jeden Befehl durch den Zeitbefehl weiterleiten (um die Ausführungszeit zu messen)

Wie übergebe ich jeden Befehl (der in der Shell eingegeben wurde) durch timeden Befehl?

Grund der Frage: Die Ausführungszeit jedes Befehls muss gemessen werden (ohne ihn timejedes Mal einzugeben).

Beispiel (gewünschtes Verhalten):

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

verwandte Informationen