Antworten:
Sie rufen die integrierte Version von bash auf time
, die ein etwas anderes Verhalten und andere Optionen aufweist - wie auch im Handbuch von bash beschrieben help time
.
Verwenden Sie command time ...
diese Option , um den integrierten Befehl zu umgehen und den externen Befehl auszuführen. oder /usr/bin/time ...
direkt ausführen .
type
Funktion von Bash zeigt an, welche Sie ausführen werden - z type time
. Fügen Sie die -a
Option hinzu, um alle type -a time