On Wed, May 22, 2019 at 08:54:20PM +0300, Anton Farygin wrote:
> 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, то этот кто-то может доработать скрипт.

Если кому-то нужно, чтобы был включён этот builtin,
этот кто-то может доработать этот builtin.

Если кто-то будет дорабатывать builtin, я готов поревьюить.

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

Переход на bash4 начался несколько лет назад и ещё не завершён.


-- 
ldv