title: in DOS how to SET /P with a string starting with spaces
body: <p>I want to have this kind of result in a DOS batch:</p>
  
  <pre><code>==&gt; Please enter your filename, formatted as
      [user][PC_id] : 
  </code></pre>
  
  <p>allowing the user to enter the filename after the ":"</p>
  
  <p>I tried a lot of combinations, but the best I can get it with </p>
  
  <pre><code>ECHO --^&gt; Please enter your filename, formatted as
  Set /P FILE=[user][PC_id] :
  </code></pre>
  
  <p>(blank spaces before "[" are not displayed)</p>