日付時間をファイル名にしたいが…。

質問

コマンドプロンプトからログファイルを作成しようとしています。
ファイル名の後に日付・時間をつけて
TEST_YYYYMMDD_HHMMSS.log形式にしたいと思っています。
（例：TEST_20050118_120000.log）

それで、ファイル名を以下のように指定したのですが

TEST_%date:~2,4%%date:~7,2%%date:~10,2%_%time:~0,2%%time:~3,2%%time:~6,2%.log

これだと、0時～9時の間は

TEST_20050118_ 90000.log

のように時間の頭ヒトケタが空白になってしまうらしく、
実行させてもエラーになってしまいます.

なにか良い方法がありますでしょうか。

よろしくご教授お願いいたします。

回答No.1

utakataXEX · ベストアンサー

REM 別の変数に
set newtime=%time:~0,2%%time:~3,2%%time:~6,2%
REM 半角スペースを0に
set newtime=%newtime: =0%
REM 確認
echo TEST_%date:~2,4%%date:~7,2%%date:~10,2%_%newtime%.log

こんな感じで。

お礼

あああああっ！その手があったかぁああっっ！！！

出来ました。ありがとうございました。
まだまだ修行が足りません。がんばります。