13

redirect time command output to file (cygwin bash)

view full story
linux-howto

http://www.unix.com – I have set up a bash script to run a long list of things that I need to time. I would like to redirect the output of time to a file. I have set it up like, Code: echo "Runtimes for servlet 4, 100K structures" > test_times.txt echo "" >> test_times.txt echo "runs where N=10" >> test_times.txt echo "" >> test_times.txt echo "run1 test_intput.txt -n 4 -t 1000 -l 100 -d t -N 10" >> test_times.txt   time -a test_times.txt \   ./myProgram.exe -a arguments -i inputFile -o outputFile echo "&q (HowTos)