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

[Aleksey Novodvorsky]

ср, 22 мая 2019 г., 20:54 Anton Farygin <rider на basealt.ru>:

> 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, которую кто-то киляет на стороне сборочницы).
>

Это оффтопик для списка devep на .

Rgrds, Алексей




>
----------- следующая часть -----------
Вложение в формате HTML было удалено...
URL: <http://lists.altlinux.org/pipermail/devel/attachments/20190522/9b3b7735/attachment-0001.html>