@echo off
SETLOCAL ENABLEDELAYEDEXPANSION
SET old=file
SET new=REG~file
for /f "tokens=*" %%f in ('dir /b *.txt') do (
SET newname=%%f
SET newname=!newname:%old%=%new%!
move "%%f" "!newname!"
)
What this does is it loops over all .txt files in the folder where the batch file is located and replaces the file with December inside the filenames.