Bat : bash script that changes the files extension for all files in a folder to specefied one

change_extension.bat

@echo off
setlocal enabledelayedexpansion

rem Check if user provided the old extension and new extension
if "%~2"=="" (
    echo Usage: %~nx0 old_extension new_extension
    exit /b 1
)

set "old_extension=%~1"
set "new_extension=%~2"

rem Change extension for each file in the directory
for %%F in (*.%old_extension%) do (
    rem Get the filename without extension
    set "filename=%%~nF"
    rem Rename the file with the new extension
    ren "%%F" "!filename!.%new_extension%"
    echo Changed %%F to !filename!.%new_extension%
)

echo All files with extension .%old_extension% are changed to .%new_extension%

cmd_to_run.txt

change_extension.bat txt csv