はてなブックマーク

DOSバッチを書いているとログを日付・時刻入りで出力したくなります。 xxxxx_20071123_06000102.log というログとか。 基本的には環境変数の、%date% と %time% の文字列操作をすれば出来るのですが、 %time% がちょっと曲者です。 %time% は、 20:00 など時間が二桁の場合は良いのですが、 2:00 など時間が 一桁の場合は ' 2:00' という半角スペース付きで返してくれます。 >echo %time% 2:00:18.54 そこで %time% に対して文字列操作して、半角スペースを0に置換します。 >echo %time: =0% あとは、時刻文字列の切り貼りをすればOK。 >set time_tmp=%time: =0% >set time_tmp=%time_tmp:~0,2%%time_tmp:~3,2%%time_tmp:~