Je mesure le temps qu'il faut pour exécuter une commande. foo
. Je cherche à annexer les résultats de l'opération time
dans un fichier, et de rejeter les résultats de la commande foo
commande. J'ai essayé ce qui suit, mais cela ne fait pas ce que je veux :
$ time ./foo > /dev/null >> output_from_time_command.txt
Des suggestions ? Merci !