On Wed, May 22, 2019 at 05:57:54PM +0300, Levin Stanislav wrote:
> При наличии bash time возможность использовать внешнюю команду
> (например, '/usr/bin/time') имеется.

Да, но никто не будет переписывать написанные за 20 лет скрипты.

> А вот при наличии только внешней команды использовать bash time не
> получится.

Есть только один выход - сделать bash builtin time совместимым с GNU time.

> 22.05.2019 17:48, Dmitry V. Levin пишет:
> > On Wed, May 22, 2019 at 05:37:27PM +0300, Alexey Tourbin wrote:
> >> On Wed, May 22, 2019 at 12:21 PM Levin Stanislav <slev@altlinux.org> wrote:
> >>> При запуске ошибка:
> >>>
> >>> line 472: syntax error near unexpected token `newline'
> >>> line 472: `    time ('
> >> Я тоже наткнулся. Было время сам себе bash собирал, после обновления
> >> на новый bash из репозитория часть скриптов стало дефектно работать.
> >> https://bugzilla.altlinux.org/36527
> > У меня есть скрипты, использующие time -f -o, но bash builtin time их не умеет.


-- 
ldv