[devel] Вопрос про time

[Anton Farygin]

22.05.2019 18:17, Dmitry V. Levin пишет:
> On Wed, May 22, 2019 at 06:06:29PM +0300, Anton Farygin wrote:
>> 22.05.2019 18:03, Dmitry V. Levin пишет:
>>> On Wed, May 22, 2019 at 05:57:54PM +0300, Levin Stanislav wrote:
>>>> При наличии bash time возможность использовать внешнюю команду
>>>> (например, '/usr/bin/time') имеется.
>>> Да, но никто не будет переписывать написанные за 20 лет скрипты.
>>>
>> info sed ?
>>
>> Чего там переписывать то ?
> time -o на builtin time не переписывается точно так же,
> как time {} не переписывается на GNU time.
Конечно, но если у тебя в скрипте уже есть вызов time, то ты можешь его 
заменить на /usr/bin/time и продолжить пользоваться этим скриптом.
>
> На то, чтобы найти и переписать скрипты, уйдёт ещё 20 лет.

Я не знаю, как устроен поиск скриптов у тебя, но такие инструменты как 
find, grep, git grep и т.д. могут помочь.

> Проще переписать builtin time.
>
На bash4 ты тоже думал переходить несколько лет, однако это произошло 
намного быстрее и менее болезненно.

Я не против переписывания builtin time, но для этого нужно определиться, 
когда и кто этим займётся (с учётом того, что ты не успеваешь делать 
обычную текучку. Например, ответить на письмо про сборку llvm из p8 для 
c8,1, которую кто-то киляет на стороне сборочницы).