[bat файл] Итоговый файл переименовать с указанием даты и времени окончания парсинга

Как переименовать файл csv в самом конце парсинга, с указанием даты и времени?

В папке (d:\all\doc.csv) периодически создается doc.csv, этот документ надо переименовать, в имени добавить дату и время, формат по сегодняшней дате например пример_29032014_035235.csv (пояснение: пример_день месяц год_часы минуты секунды)

1. Решение найдено с помощью такого .bat файла (создать файл например rename.bat, с содержимым приведено ниже)

Код:

@echo off
chcp 1251>nul
set CurDate=%date:~6,4%%date:~3,2%%date:~0,2%
set CurTime_1=%time:~0,2%%time:~3,2%%time:~6,2%
set /a CurTime_2=%CurTime_1%
if not "%CurTime_2%"=="%CurTime_1%" (
 set CurTime=0%CurTime_2%
) else (
 set CurTime=%CurTime_1%
)
>nul copy "d:\all\doc.csv" "d:\all\пример_%CurDate%_%CurTime%.csv"
pause>nul
exit /b

2. В программе указать путь до файла



Отдельная благодарность пользователю Georgio (с форума oszone.ru) за реализацию.