Die Datei muss schon run.bat heißen und nicht run.bat.txt
Wenn sie richtig heißt sollte sie mit einem Doppelklick ausführbar sein.
Edit:
Sollte die Dateiendung bei dir Standardmäßig ausgeblendet werden.
- Explorer öffnen
- Organisieren -> Ordner- und Suchoptionen
oder Extras -> Ordneroptionen...
- Ansicht -> Hacken bei "Erweiterungen bei bekannten Dateitypen ausblenden" entfernen