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