Проблема с командой времени - PullRequest
0 голосов
/ 28 ноября 2018

Когда я запускаю несколько фоновых заданий, мне нужно получить время выполнения для набора заданий.Я успешно использую следующий пример:

$ sleep 10 &
$ time wait
real    0m9.74s
user    0m0.00s
sys     0m0.00s

Однако, если я пытаюсь отформатировать вывод в секундах, я получаю следующую ошибку:

$ time -f %e wait
time: cannot run wait: No such file or directory
0.00

Это, кажется, происходит только с оболочкойвнутренние команды.Есть ли обходной путь для этого?

1 Ответ

0 голосов
/ 28 ноября 2018

Проблема здесь двоякая.

  • мы не знаем, используете ли вы встроенный bash (если вы используете оболочку по умолчанию centos) или двоичный файл *Команда 1004 *.
  • в любом случае wait является встроенным в bash

Способы решения этой проблемы:

/usr/bin/time -f %e bash -c wait
TIMEFORMAT="%pR" time bash -c wait
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...