Ну, навіть якщо вам це не сподобається, я змушу вас прочитати ще раз з більшою увагою man time
. В кінці EXAMPLES
розділу ви знайдете:
Users of the bash shell need to use an explicit path in order to run
the external time command and not the shell builtin variant. On system
where time is installed in /usr/bin, the first example would become
/usr/bin/time wc /etc/hosts
Отже, я припускаю, що ви використовуєте bash shell, який використовує внутрішню версію time
, надану як ключове слово shell. Ви можете перевірити це за допомогою наступної команди:
type time
і вихід, ймовірно, буде:
time is a shell keyword
Якщо це так, то ясно, щоб використовувати реальну time
команду, ви повинні використовувати свій явний шлях: /usr/bin/time
.
Крім того, якщо ви більше не хочете використовувати ключове слово shell time
, ви можете створити постійний псевдонім у такий спосіб:
alias time='/usr/bin/time'
Це замінить ключове слово оболонки, time
оскільки команда:
type time
зараз дасть такий вихід:
time is aliased to `/usr/bin/time'
sudo apt-get install --reinstall time
допомагає?