forum.lissyara.su

Добавлено: **2009-09-13 11:02:53**

Обнаружил, что по непонятным причинам не работают заявленные в мане опции команды "time":

time -р *****   //  time -h *****

Может кто подскажет, в чём проблема?

Добавлено: **2009-09-13 18:06:10**

Код: Выделить всё

% csh
% which time
time: shell built-in command.
% zsh
% which time
time: shell reserved word

Во многих шеллах свой, встроенный time, а man от /usr/bin/time. Соответственно, либо используйте полный путь, либо читайте про опции time в документации к вашему шеллу.

Добавлено: **2009-09-14 2:04:41**

Код: Выделить всё

whereis time | xargs ldd

Добавлено: **2009-09-14 10:47:21**

AMDmi3 писал(а):Во многих шеллах свой, встроенный time, а man от /usr/bin/time. Соответственно, либо используйте полный путь, либо читайте про опции time в документации к вашему шеллу.

Большое спасибо!
Интересно, почему set time="%Uu %Ss %Es %P" вместо изменения формата статистики на более короткий начинает добавлять вывод "time" к выводу любой шелловой команды:

Код: Выделить всё

ps
  PID  TT  STAT      TIME COMMAND
45194  p0  Ss     0:00.73 -csh (csh)
0.000u 0.062s 0:00.10 60.0%     26+460k 0+0io 0pf+0w

Как-то непонятен синтаксис изменения формата "time".

"Note that the CPU percentage can be higher than 100% on multi-processors".

forum.lissyara.su

Не выставляются опции команды "time"

Не выставляются опции команды "time"

Re: Не выставляются опции команды "time"

Re: Не выставляются опции команды "time"

Re: Не выставляются опции команды "time"