Bash utils
Time to file
source
{ time sleep 1 ; } 2> time.txt
or
{ time sleep 1 2> sleep.stderr ; } 2> time.txt