[devel] time отдельный и time в bash
Sergey Y. Afonin
asy на altlinux.org
Пт Дек 22 15:54:12 MSK 2023
On Friday 22 December 2023, Anton Farygin wrote:
> > По его мнению надо bash собирать с time, так как time из bash
> > точнее меряет. Баг закрыт как WORKSFORME, но, может, достойно
> > обсуждения (лучше в баге наверное)?
> >
> А как быть с теми, кто не bash ?
Пакет не удалять. А в скриптах, если нужен внешний time и в bash,
указывать полный путь наверное. Я правильно понимаю, что у команды
bash приоритет будет, если путь не указать?
--
С уважением, Сергей Афонин
Подробная информация о списке рассылки Devel