User Tools

Site Tools


bash_utils

This is an old revision of the document!


Time to file

source

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

bash_utils.1585409523.txt.gz · Last modified: (external edit)