title: Issue adding headers to a csv file
body: <p>I need to copy headers from a CSV file into a new CSV file. </p>
  
  <p>input.csv content : </p>
  
  <pre><code>col1;col2;col3
  </code></pre>
  
  <p>For that, I used the following command : </p>
  
  <pre><code>head -n 1 input.csv &gt; output.csv
  </code></pre>
  
  <p>and I also tried :</p>
  
  <pre><code>awk -F\; 'NR==1 {print; exit}' input.csv &gt; output.csv
  </code></pre>
  
  <p>The result is the same. Doing that, headers are copied into output.csv, but the issue is that they are all copied into the same cell, instead of creating distinct columns.</p>
  
  <p><em>cell A1 of output.csv content : col1 col2 col3</em></p>
  
  <p>It seems that the seperators <code>;</code> are removed in the process and I can't figure out why. </p>
  
  <p>Would anyone have an explanation and eventually a solution ? </p>
  
  <p>Thanks a lot</p>