title: Convert .txt file to .csv with header in bash
body: <p>.txt looks like:</p>
  
  <pre><code>2013-04-10;248179;5431;5375.30€;1.49
  ..
  ..
  ..
  </code></pre>
  
  <p>I need a .csv file with a Header:</p>
  
  <pre><code>Date       Visit   Login  Euro      Rate
  2013-04-10 248179  5431   5375.30€  1.49
  ..         ..      ..     ..        ..
  ..         ..      ..     ..        ..
  </code></pre>
  
  <p>Is there a way to get this result with BASH?</p>