Почему 'время' Ubuntu не следует за стандартным форматом POSIX и как я изменяю его?
При измерении времен в Ubuntu 18.04 результат появляется в одной строке:
$ time sleep 1
sleep 1 0.00s user 0.00s system 0% cpu 1.003 total
Это не выравнивается со стандартом POSIX, как описано в timeстраница справочника:
-p, --portability
Use the following format string, for conformance with POSIX standard 1003.2:
real %e
user %U
sys %S
Теперь мой вопрос:
Почему Ubuntu использует свой собственный формат для отображения использования ресурсов?
Кроме того, как я изменяю поведение? Используя -p опция из руководства, которое я процитировал выше, я только, получает следующую ошибку:
$ time -p sleep 1
zsh: command not found: -p
-p sleep 1 0.00s user 0.00s system 73% cpu 0.002 total
1 ответ
Ваша ошибка является огромной подсказкой -
zsh: команда, не найденная:-p
Вы используете zsh не Bash или ТИРЕ.
Страница справочника в течение времени принадлежит внешней/usr/bin/time программе: удар, а также zsh обеспечивает свою собственную встроенную оболочку времени (который, оказывается, имеет эквивалентный переключатель-p),
исправление комментария @steeldriver
Я получаю другой результат на своей стандартной Ubuntu с помощью удара по умолчанию - или что Вы несомненно хотите/ожидаете.
guiverc@d960-ubu2:~$ time -p sleep 1
real 1.09
user 0.00
sys 0.00