Essayez
{ time sleep 1 ; } 2> time.txt
qui combine le STDERR de "time" et votre commande dans time.txt
Ou utilisez
{ time sleep 1 2> sleep.stderr ; } 2> time.txt
qui met STDERR de "sleep" dans le fichier "sleep.stderr" et seul STDERR de "time" va dans "time.txt"
Simple. Le GNU time l'utilitaire a une option pour cela.
Mais vous devez vous assurer que vous n'êtes pas en utilisant le time intégré de votre shell commande, au moins le bash builtin ne fournit pas cette option ! C'est pourquoi vous devez donner le chemin complet du time utilitaire :
/usr/bin/time -o time.txt sleep 1