Come reindirizzare l'output del comando time su un file in Linux?

Prova

{ time sleep 1 ; } 2> time.txt

che combina lo STDERR di "time" e il tuo comando in time.txt

Oppure usa

{ time sleep 1 2> sleep.stderr ; } 2> time.txt

che inserisce STDERR da "sleep" nel file "sleep.stderr" e solo STDERR da "time" va in "time.txt"

Semplice. Il GNU time l'utility ha un'opzione per questo.

Ma devi assicurarti di non esserlo usando time integrato nella tua shell comando, almeno il bash builtin non fornisce questa opzione! Ecco perché devi fornire il percorso completo del time utilità:

/usr/bin/time -o time.txt sleep 1