Editing Timer (section)

== Linux command (BASH) ==
{{Linux}} console, {{Mac}} Terminal or Cygwin commands on {{Win}}<ref>[http://stackoverflow.com/questions/385408/get-program-execution-time-in-the-shell linux - Get program execution time in the shell - Stack Overflow]</ref><ref>[http://stackoverflow.com/questions/12199631/convert-seconds-to-hours-minutes-seconds bash - Convert seconds to hours, minutes, seconds - Stack Overflow]</ref>
<pre>
# start the timer
START=$(date +%s)

# sleep 2 seconds for testing purpose
sleep 2s

# stop the timer
END=$(date +%s)
DIFF=$(( $END - $START ))
printf "Elapsed time %02dh:%02dm:%02ds\n" $(($DIFF/3600)) $(($DIFF%3600/60)) $(($DIFF%60))

# expected result: 
#   Elapsed time 00h:00m:02s
</pre>