Windowsのdateコマンドで日時を数字形式で表示

タイムスタンプに応じたファイル名などを作りたいときには下記のようなコマンドでYYYYMMDDHHiiss形式に出力できます

echo %date:~0,4%%date:~5,2%%date:~8,2%%time:~0,2%%time:~3,2%%time:~6,2%%time:~9,2%