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.

На то, чтобы найти и переписать скрипты, уйдёт ещё 20 лет.
Проще переписать builtin time.


-- 
ldv