Ist es ein Weg, um die Laufzeit des zuletzt ausgeführten Befehls in der shell?

^{Edit 3:}

Die Struktur dieser Antwort:

1. Es gibt keinen vorgefertigten Weg, um mal ein Befehl bereits ausgeführt
2. Es gibt Möglichkeiten, dass man daraus eine grobe Schätzung der Dauer eines Befehls, die Laufzeit.
3. Ein proof-of-concept gezeigt wird (beginnend mit der Hypothese, dass es nicht getan werden kann und endet mit der Schlussfolgerung, dass die Hypothese falsch war).
4. Gibt es hacks können Sie in Platz gesetzt werden, bevor die hand, das zeichnet die verstrichene Zeit, jeden Befehl, den Sie ausführen
5. Abschluss

Die Antwort, gekennzeichnet durch seine Teile nach dem Umriss oben:

Teil 1 - die kurze Antwort ist "Nein"

^Original

Nope, sorry. Verwenden Sie time.

Teil 2 - vielleicht kann man daraus eine Folge

In einigen Fällen, wenn ein Programm schreibt die Ausgabe-Dateien oder Informationen in log-Dateien, können Sie vielleicht ableiten, Laufzeit, aber das ist auch Programm-spezifisch und nur eine grobe Schätzung. Wenn Sie HISTTIMEFORMAT legen Sie in Bash, kann man sich die Einträge in der history-Datei um eine Idee zu bekommen, wenn ein Programm gestartet. Aber die Endzeit ist nicht angemeldet, so konnten Sie nur ein Rückschluss auf die Dauer, wenn ein anderes Programm gestartet wurde, sofort nachdem Sie interessiert sind, fertig.

Teil 3 - eine Hypothese ist gefälscht

Hypothese: Idle-Zeit gezählt werden, in der die verstrichene Zeit

^Edit:

Hier ist ein Beispiel, um zu illustrieren, was ich meine. Es basiert auf dem Vorschlag von ZyX, wäre aber ähnlich wie mit anderen Methoden.

In zsh:

% precmd() { prevstart=start; start=$SECONDS; }
% preexec() { prevend=$end; end=$SECONDS; }
% echo "T: $SECONDS ps: $prevstart pe: $prevend s: $start e: $end"
T: 1491 ps: 1456 pe: 1458 s: 1459 e: 1491

Nun warten wir... sagen wir mal für 15 Sekunden, dann:

% echo "T: $SECONDS"; sleep 10
T: 1506

Nun warten wir... sagen wir mal für 20 Sekunden, dann:

% echo "T: $SECONDS ps: $prevstart pe: $prevend s: $start e: $end"
T: 1536 ps: 1492 pe: 1506 s: 1516 e: 1536

Wie Sie sehen können, ich war falsch. Die start-Zeit (1516) abzüglich der vorherigen Ende der Zeit (1506) ist die Dauer des Befehls (sleep 10). ^{_{, Die auch zeigt, dass die Variablen, die ich verwendet, in die Funktionen brauchen einen besseren Namen.}}

Hypothese verfälscht - es ist möglich, um die richtige verstrichene Zeit, ohne die idle-Zeit

Teil 4 - hack zu erfassen, die verstrichene Zeit von jeder Befehl

^{Edit 2:}

Hier sind die Bash-äquivalente zu den Funktionen in ZyX ist Antwort (Sie brauchen das Skript verlinkt es):

preexec () {
   (( ${#_elapsed[@]} > 1000 )) && _elapsed=(${_elapsed[@]: -1000})
   _start=$SECONDS
}

precmd () {
   (( _start >= 0 )) && _elapsed+=($(( SECONDS-_start )))
   _start=-1 
}

Nach der Installation preexec.bash (aus dem verlinkten Skript) und die Schaffung der zwei oben genannten Funktionen, die beispielsweise laufen würde wie folgt Aussehen:

$ _elapsed=() # Clear the times
$ sleep 10s
$ sleep 2s ; echo ${_elapsed[@]: -1}
10
$ echo ${_elapsed[@]}
0 10 2

Teil 5 - Abschluss

Verwenden time.

Mag die Welt bewegt haben, auf ein wenig, da andere Menschen diese Fragen beantwortet.

zsh hat einige eingebaute Funktionen, um die Zeit, wie lang die Befehle nehmen.

Aktivieren Sie die inc_append_history_time option mit

setopt inc_append_history_time

Dann die Zeit, die zum ausführen von jedem Befehl gespeichert ist in Ihrer Geschichte und dann eingesehen werden können, mit history -D.