Bei der Arbeit mit dem time
Befehl stieß ich auf eine Situation, in der ich den eingebauten time
Befehl anstelle des externen GNU-Zeitbefehls verwenden sollte /usr/bin/time
. Also, wie kann ich das machen? Ich habe irgendwo gesehen, dass die Verwendung enable
und / oder command
würde helfen, aber sie haben nicht.
Dies ist ein Anwendungsfall:
watch "time ls"
das benutzt den externen /usr/bin/time
befehl, den ich nicht will! Dies passiert, wenn time
ich die interne Bash-Funktion time ls
auf einem Terminal wie folgt ausführe :
$ time ls
Bitte beachten Sie, dass die genau entgegengesetzte Anfrage hier beantwortet wurde:
Bei zwei Befehlen gibt es einen großen Unterschied. Das interne time
ist genauer (was ich will), aber der externe Befehl hat mehr Optionen (die ich nicht brauche).
time
ist kein eingebautes bash
, es ist ein reserviertes Wort der Sprache, so dass Sie Pipelines (wie time foo | bar
) oder zusammengesetzte Befehle (wie time for i in...;done
)
watch 'bash -c "builtin time ls"'
vielleicht?