Como uso as opções com o tempo?

Sempre que tento usar opções com o comando time, como formato (-f, --FORMAT), recebo o seguinte erro:

bash: -f: command not found

unix time

— Wipqozn
fonte

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.

— user1686
fonte

Isso corrigiu meu problema. Eu não sabia que havia uma diferença entre a página de manual e a versão do bash em qualquer um dos comandos; adicione isso às coisas que aprendi hoje.

— Wipqozn 8/03/12

Se tudo estiver resolvido, clique na marca de seleção ao lado da resposta para aceitá-la.

— Doug Harris

A typefunção incorporada do Bash mostrará quais você executará - por exemplo type time. Adicione a -aopção para mostrar todos os #type -a time

— Doug Harris

@DougHarris Sei como aceitar uma resposta, mas há um atraso de 15 minutos entre perguntar e quando você pode aceitar.

— Wipqozn 08/03/12

Ah desculpa. A desvantagem para a obtenção de ajuda tão rapidamente :-)

— Doug Harris