Estou tentando usar a função time no terminal. Quando tento a usar apenas para exibir sempre tenho o retorno esperado.
Comando:
time ./main
Saída:
real 0m0.119s
user 0m0.113s
sys 0m0.006s
Porém quando tento redirecionar isso para um arquivo com o pipe como o exemplo abaixo, o arquivo permanece em branco e a saída é impressa na tela.
Comando:
time ./main >> teste.txt
Alguém sabe o que pode estar errado e/ou como eu obtenho o resultado esperado?