User Tools

Site Tools


bash_utils

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

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