if ($answer_counter == 1): ?>
endif; ?>
Хорошо, даже если вам это не понравится, я попрошу вас прочитать снова с большим вниманием 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
.
Кроме того, если вы больше не хотите использовать оболочку, встроенную в time
, вы можете создать постоянный псевдоним следующим образом:
alias time='/usr/bin/time'
Это перезапишет встроенную оболочку time
, потому что команда:
type time
теперь выдаст следующий результат:
time is aliased to '/usr/bin/time'