====== Bash utils ======
==== Time to file ====
[[https://stackoverflow.com/questions/13356628/how-to-redirect-the-output-of-the-time-command-to-a-file-in-linux|source]]
<sxh bash>
{ time sleep 1 ; } 2> time.txt
</sxh>
or
<sxh bash>
{ time sleep 1 2> sleep.stderr ; } 2> time.txt
</sxh>