Regexのコンセプトでファイルの名前を変更したい

Question

"TF-ICOT160017_JATS.xml"というファイルの名前を "TF-ICOT160017.xml"に変更します。プログラムの下で親切にチェックし、このコンセプトに適したバッチプログラムを提供してください。

@echo off 
set /p file=Enter File Path: 
:Main 
echo. 
echo 1. Rename 
echo 2. Exit 
echo. 
set /p choice=Enter Your choice: 
IF %choice% == 1 goto File_Rename 
IF %choice% == 2 exit 
:File_Rename 
ren TF-[A-Z][A-Z][A-Z][A-Z][0-9][0-9][0-9][0-9][0-9][0-9]_JATS.xml TF-[A-Z][A-Z][A-Z][A-Z][0-9][0-9][0-9][0-9][0-9][0-9].xml 
goto Main 

Answer 1

単一のコマンドラインは、このファイルの名前変更操作のために使用することができるように見えます：

ren TF-??????????_JATS.xml TF-??????????.xml 

もう一つのヒント：

ユーザーが2つのどちらかを選択させるためのset /Pを使用しないでくださいオプション。 RETURNまたはENTERを入力しても何も入力せずに誤ってバッチファイルが構文エラーで終了することがあります。ユーザーは1または2以外のものを自由に入力することができ、バッチファイルが再び失敗します。

コマンドCHOICEを使用してください。コマンドプロンプトウィンドウを開き、choice /?を実行してこのコマンドのヘルプを表示します。

@echo off 
:Main 
echo/ 
echo 1. Rename 
echo 2. Exit 
echo/ 
choice /C12 /N "Please make your choice: " 
if errorlevel 2 exit /B 
ren TF-??????????_JATS.xml TF-??????????.xml 
goto Main