Ну, даже если вам не понравится, я заставлю вас читать снова с большим вниманием 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, которая использует внутреннюю версию time
, предоставленную в качестве ключевого слова оболочки. Вы можете проверить это с помощью следующей команды:
type time
и результат, вероятно, будет:
time is a shell keyword
Если это так, то ясно, чтобы использовать реальную time
команду, вы должны использовать свой явный путь: /usr/bin/time
.
Кроме того, если вы больше не хотите использовать ключевое слово shell time
, вы можете создать постоянный псевдоним следующим образом:
alias time='/usr/bin/time'
Это заменит ключевое слово shell, time
потому что команда:
type time
даст следующий вывод:
time is aliased to `/usr/bin/time'
sudo apt-get install --reinstall time
?