title: Print execution time of a shell command
body: <p>Is is possible to print the execution time of a shell command with following combination?</p>
  
  <pre><code>root@hostname:~# "command to execute" &amp;&amp; echo "execution time"
  </code></pre>