Por que o comando `time` não funciona com nenhuma opção?

Tentei usar o timecomando com a -fopção para formatar a saída do tempo, mas recebo o seguinte erro:

-f: command not found

Então eu tentei usar outras opções -a, -oetc, e eu recebo o mesmo erro. Nem mesmo time --versionnão funciona ( --version: command not found).

Não me diga para ler o homem, porque já o faço muitas vezes ... Todas essas opções são especificadas lá. Então, onde poderia estar o problema?

Bem, mesmo que você não goste, vou fazer você ler novamente com mais atenção man time. No final da EXAMPLESseção, você encontrará:

  Users of the bash shell need to use an explicit path in order to run
  the external time command and not the shell builtin variant.  On system
  where time is installed in /usr/bin, the first example would become
       /usr/bin/time wc /etc/hosts

Então, suponho que você use o bash shell, que usa uma versão interna time, fornecida como uma palavra-chave shell. Você pode verificar isso usando o seguinte comando:

type time

e a saída provavelmente será:

time is a shell keyword

Se este for o caso, então é claro, para usar o real time comando, você deve usar o seu caminho explícito: /usr/bin/time.

Além disso, se você não quiser mais usar a palavra-chave shell time, poderá criar um alias permanente da seguinte maneira:

alias time='/usr/bin/time'

Isso substituirá a palavra-chave shell timeporque o comando:

type time

dará a seguinte saída agora:

time is aliased to `/usr/bin/time'

Como, como as outras respostas explicam, timeé uma palavra-chave shell, a única opção disponível para você é -p:

terdon@oregano ~ $ help time
time: time [-p] pipeline
    Report time consumed by pipeline's execution.

Execute PIPELINE and print a summary of the real time, user CPU time,
and system CPU time spent executing PIPELINE when it terminates.

Options:
  -p    print the timing summary in the portable Posix format

Então, você precisa executar o timeque está em /usr/bin. Aqui estão algumas maneiras de fazer isso:

• Use o timeexecutável:

  /usr/bin/time -f %Uuser ls >/dev/null

• Use o \que faz com que seu shell ignore aliases e palavras-chave e, em vez disso, procure $PATHum executável correspondente:

  \time -f %Uuser ls >/dev/null 

• Use o commandbuilt-in que tem um efeito semelhante:

  command time -f %Uuser ls >/dev/null

• Use um shell diferente, que não possua tal palavra-chave. Por exemplo sh(que atualmente está dashno Ubuntu):

  sh -c "time -f %Uuser ls >/dev/null"

• Use which, que irá pesquisar no seu $PATH(OK, este é bobo):

  $(which time) -f %Uuser ls >/dev/null

As conchas bashe zshtêm seu timecomando interno . Você tem que usar

/usr/bin/time -f ...

BTW, eu descobri que usando (de zsh):

~% which  time
time: shell reserved word