title: mysql command line return execution time?
body: <p>I'm working on a Linux host with mysql command. I have a script that runs batch mysql commands (like <code>mysql -e "select..."</code>) and I wish to summarize execution time of each of the commands.</p>
  
  <p>Is there a way to get mysql exec time from the command line? </p>
  
  <p>For example, in mysql interactive mode, execution result comes with a time, like this:</p>
  
  <pre><code>mysql&gt; select count(*) from trialtable;
  +----------+
  | count(*) |
  +----------+
  |     4000 |
  +----------+
  1 row in set (0.00 sec)
  </code></pre>
  
  <p>Can I get the same profile in command line?</p>
  
  <p>Thank you</p>