title: Creating a batch file that runs a Command Prompt
body: <p>I want to run this as a batch rather than through the command line:</p>
  
  <pre><code>w32tm /config /manualpeerlist:bigben.cac.washington.edu /syncfromflags:MANUAL
  net stop w32time &amp; net start w32time
  w32tm /resync
  </code></pre>