Could you please help me out with the arithmetic operations too?
$ \time sleep 5 2>/tmp/timefile; execution_time=`cat /tmp/timefile`
If I want to get only the user mode seconds, the results will be something like
That x.xx is anything but something that I can add then to other simulation times. Bash also doesn't support float numbers.
$ \time -f "%U" sleep 1 2>/tmp/timefile; execution_time=`cat /tmp/timefile`
$ echo "$execution_time"
Any help is welcomed. Thank you very much all.