Yesterday, I was trying to get the running time of a program. time gives you only limited precision (second level (with 2 decimal digits)) So, i wrote up this script to do find the running time in bash: #Find the runtime of program wget for i in {1..100} ; do s=`date +A%S*1000000000+A%N`; start=$((`echo $s | [...]