Відповіді:
Ви посилаєтесь на вбудовану версію bash time
, яка має дещо іншу поведінку та варіанти - описану також у посібнику з bash help time
.
Використовуйте command time ...
для обходу вбудованої та виконання зовнішньої команди; або бігати /usr/bin/time ...
безпосередньо.
type
функція Баша покаже, який ви будете виконувати - наприклад type time
. Додати -a
опцію, щоб показати все -type -a time