Es ist vielleicht die Frage eines Neulings, aber ich verstehe nicht, wie dies konfiguriert ist und warum das Ausgabeformat des time
Befehls in diesen beiden Fällen unterschiedlich ist:
Bei Verwendung über time
besteht die Ausgabe aus drei Zeilen mit Basisinformationen
$ time sleep 1
real 0m1.003s
user 0m0.000s
sys 0m0.000s
dann kann ich herausfinden welche binärdatei verwendet wird
$ which time
/usr/bin/time
und rufen Sie es direkt auf, um eine Ausgabe in einem völlig anderen Format mit viel mehr Informationen zu erhalten
$ /usr/bin/time sleep 1
0.00user 0.00system 0:01.00elapsed 0%CPU (0avgtext+0avgdata 2000maxresident)k
0inputs+0outputs (0major+77minor)pagefaults 0swaps
Es gibt keine Aliase im Zusammenhang mit time
$ alias | grep time
$
Ich renne Ubuntu 16.04
.
which
ist im Grunde nutzlos ...