RSS

Archive for 11月 5th, 2013

0を付加するtimeの記述

火曜日, 11月 5th, 2013

普通にtimeで時間を吐きだすと

一部が一桁になってしまって整合性が取れず困ることがある。

特にファイル名などにしたい場合は頭にどうしても0をつけたいわけで・・・

 

ということで記述の備忘録です。

set time2=%time: =0%
echo %date:~-10,4%%date:~-5,2%%date:~-2,2%_%time2:~0,2%%time2:~3,2%%time2:~6,2%

こんな感じ。

これで問題なく行けるはず。

 

これを手書きですらすら書けるほど技術があるわけではないので

ここに書いておこうというわけです。

知らない人いたら使ってみてください。

痒いところに手が届きます☆