Bash
tem um comando incorporado chamado time
. Portanto, se você digitar apenas time
, ele usará o shell interno que não possui opções como -f
. Mas man time
(que fala sobre -f
) dará a manpage do programa /usr/bin/time
. Portanto, se você quiser usar as opções descritas na página do manual, certifique-se de chamar o programa, não o shell interno. Uma forma de alcançar isso é usar o caminho completo.
(IMHO, isso é realmente feio no bash)
Para mais informações, consulte os links abaixo da pergunta.