This is an old revision of the document! Bash utils Time to file source { time sleep 1 ; } 2> time.txt or { time sleep 1 2> sleep.stderr ; } 2> time.txt
