title: How can I create a batch file to put file names in a .txt in a specific way
body: <p>I'm trying to make a batch file or a script or any kind of automated process that will get all names of files in a certain folder and put them in a text file in a specific way. I haven't learned too much about batch files so I don't know how to create or edit files with them.</p>
  
  <p>Example: 
  files 54.png, 512.png, 762.png = new text file named textures.def containing the following:</p>
  
  <pre><code>texture 54    { pal 0  { file "highres/textures/54.png" } }
  texture 512    { pal 0  { file "highres/textures/512.png" } }
  texture 762    { pal 0  { file "highres/textures/762.png" } }
  </code></pre>