Wie übergebe ich jeden Befehl (der in der Shell eingegeben wurde) durch time
den Befehl?
Grund der Frage: Die Ausführungszeit jedes Befehls muss gemessen werden (ohne ihn time
jedes Mal einzugeben).
Beispiel (gewünschtes Verhalten):
$ sleep 1
real 0m1.047s
user 0m0.015s
sys 0m0.000s