Sempre que tento usar opções com o comando time, como formato (-f, --FORMAT), recebo o seguinte erro:
bash: -f: command not found
Como uso as opções com o tempo?
Você está invocando da festa built-in versão do time
, que tem comportamento e opções ligeiramente diferente - descrito em bash do manual, bem como help time
.
Use command time ...
para ignorar o built-in e executar o comando externo; ou execute /usr/bin/time ...
diretamente.
type
função incorporada do Bash mostrará quais você executará - por exemplotype time
. Adicione a-a
opção para mostrar todos os #type -a time