Odpowiedzi:
Jesteś powołując bash za wbudowaną wersję time
, która ma nieco inne zachowanie i opcje opisane w bash - Instrukcja obsługi, jak również help time
.
Służy command time ...
do obejścia wbudowanego i wykonania zewnętrznego polecenia; lub biegnij /usr/bin/time ...
bezpośrednio.
type
funkcja Bash pokaże, które uruchomisz - np type time
. Dodaj -a
opcję, aby pokazać wszystko -type -a time