Enviando o comando 'time' para o arquivo de texto [duplicado]

Question

    

Esta pergunta já tem uma resposta aqui:

    

•              Redirecionar a saída de um comando no 'comando de tempo'                                      2 respostas                          
    

Eu quero obter o resultado do comando time em um arquivo de texto, mas não está funcionando, ele só coloca um espaço em branco no arquivo de texto.

Eu já experimentei esses comandos,

A -

$ x='time'
$ echo $x > log.txt
$ cat log.txt

$

B-

$ time > log.txt

real    0m0.000s
user    0m0.000s
sys     0m0.000s
$ cat log.txt

$

C -

$ time > log.txt 2>&1

real    0m0.000s
user    0m0.000s
sys     0m0.000s

$ cat log.txt

$ 

O que eu realmente quero é isso.

$ time > log.txt
$ cat log.txt

real    0m0.000s
user    0m0.000s
sys     0m0.000s

    

Answer 1

Use o comando time externo em vez do incorporado:

/usr/bin/time -po log.txt true
\time -po log.txt true   # simpler way

Por exemplo:

$ \time -po log.txt true
$ cat log.txt
real 0.00
user 0.00
sys 0.00