Есть несколько time
команд ...
Если вы запустите:
type time
и получите:
time is a shell keyword
это означает, что вы используете встроенную команду оболочки bash
, которая не принимает желаемую опцию. help
для этой команды, как и все встроенные функции оболочки, доступен с помощью:
help time
Если вы запустите:
type time
и получите:
time is hashed (/usr/bin/time)
означает, что вы используете поставляемую Apple (BSD-like) команду time
, которая не принимает желаемую опцию. Это также описано в man-страницах.
Если вы установили gnu-time
с homebrew , вам нужно запустить:
gtime
, если вы не установили в PATH
значение /usr/local/bin
, как если бы вы использовали homebrew , в этом случае вам нужно будет выполнить:
/usr/local/bin/gtime
и просмотрите man-страницу:
man gtime
Если вы хотите всегда использовать команду time
вместо gtime
, и я не рекомендую это, вам нужно выполнить:
brew info gnu-time
и прочитайте, что говорится о настройке:
PATH = "/ USR / местные / опт / гну времени / libexec / gnubin: $ PATH"