Bash utils

Time to file

source

{ time sleep 1 ; } 2> time.txt
or
{ time sleep 1 2> sleep.stderr ; } 2> time.txt