To może być pytanie początkującego, ale nie rozumiem, jak to jest skonfigurowane i dlaczego format wyjściowy time
polecenia jest inny w tych dwóch przypadkach:
jeśli jest używany przez time
, dane wyjściowe to trzy wiersze z podstawowymi informacjami
$ time sleep 1
real 0m1.003s
user 0m0.000s
sys 0m0.000s
wtedy mogę sprawdzić, który plik binarny jest używany
$ which time
/usr/bin/time
i wywołuj go bezpośrednio, aby uzyskać dane wyjściowe w zupełnie innym formacie, ze znacznie więcej informacji
$ /usr/bin/time sleep 1
0.00user 0.00system 0:01.00elapsed 0%CPU (0avgtext+0avgdata 2000maxresident)k
0inputs+0outputs (0major+77minor)pagefaults 0swaps
nie ma żadnych aliasów związanych z time
$ alias | grep time
$
Biegnę Ubuntu 16.04
.
which
jest w zasadzie bezużyteczny ...