I'm timing how long it takes to run a command
foo. I'm looking to append the results from the
time command to a file, and discard the results from the
foo command. I tried the following, but it didn't do what I want:
$ time ./foo > /dev/null >> output_from_time_command.txt
Any suggestions? Thanks!