<div dir="auto"><div><br><br><div data-smartmail="gmail_signature"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">ср, 22 мая 2019 г., 20:54 Anton Farygin <<a href="mailto:rider@basealt.ru">rider@basealt.ru</a>>:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">22.05.2019 18:17, Dmitry V. Levin пишет:<br>
> On Wed, May 22, 2019 at 06:06:29PM +0300, Anton Farygin wrote:<br>
>> 22.05.2019 18:03, Dmitry V. Levin пишет:<br>
>>> On Wed, May 22, 2019 at 05:57:54PM +0300, Levin Stanislav wrote:<br>
>>>> При наличии bash time возможность использовать внешнюю команду<br>
>>>> (например, '/usr/bin/time') имеется.<br>
>>> Да, но никто не будет переписывать написанные за 20 лет скрипты.<br>
>>><br>
>> info sed ?<br>
>><br>
>> Чего там переписывать то ?<br>
> time -o на builtin time не переписывается точно так же,<br>
> как time {} не переписывается на GNU time.<br>
Конечно, но если у тебя в скрипте уже есть вызов time, то ты можешь его <br>
заменить на /usr/bin/time и продолжить пользоваться этим скриптом.<br>
><br>
> На то, чтобы найти и переписать скрипты, уйдёт ещё 20 лет.<br>
<br>
Я не знаю, как устроен поиск скриптов у тебя, но такие инструменты как <br>
find, grep, git grep и т.д. могут помочь.<br>
<br>
> Проще переписать builtin time.<br>
><br>
На bash4 ты тоже думал переходить несколько лет, однако это произошло <br>
намного быстрее и менее болезненно.<br>
<br>
Я не против переписывания builtin time, но для этого нужно определиться, <br>
когда и кто этим займётся (с учётом того, что ты не успеваешь делать <br>
обычную текучку. Например, ответить на письмо про сборку llvm из p8 для <br>
c8,1, которую кто-то киляет на стороне сборочницы).<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Это оффтопик для списка devep@.</div><div dir="auto"><br></div><div dir="auto">Rgrds, Алексей</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br></blockquote></div></div></div>