title: how change file name with batch file?
body: <p>i have 2 file with name : file.txt and file1.txt
  Sometimes it is necessary to change the name of these 2 files
  for example file1.txt chnage to file.txt And conversely
  I'm doing this manually right now
  I want to create a batch file that we double-click on it to do this</p>