[linux] помогите разобраться с time

a10063

хочу использовать опцию -o утилиты time
проблема в том, что всё, что идет после time, полагается командой bash
даже time --help
как отучить bash или time вытворять такое?
не понятно, как использовать опции, указанные в мануале...

germafrodita

Используй /usr/bin/time. Просто time - внутренняя функция bash.

a10063

Спасибо. time и правда reserved word!
Но у меня почему-то нет /usr/bin/time, и вообще я от корня поискал - нет его.
Не подскажешь, с каким пакетом он идет? Видимо, у меня этот пакет не стоит...

a10063

я нашел пакет под названием time-1.7
надеюсь это тот...