如何使用yyyymmddhhmmss-prefix创建文件夹名称？

Question

我正在使用代码（来自Windows batch: formatted date into variable）。

1. 如何获得Mon = 08（2位数），而不是8月（3-alpha）？

2. 使用变量的MKDIR的语法是什么？使用前导\我得到“文件名，目录名或卷标语法不正确。”没有我得到“访问被拒绝。”

    @echo off
    setlocal 
    for /f "skip=8 tokens=2,3,4,5,6,7,8 delims=: " %%D in ('robocopy /l * \ \  /ns /nc /ndl /nfl /np /njh /XF * /XD *') do (
    set "dow=%%D"
    set "month=%%E"
    set "day=%%F"
    set "HH=%%G"
    set "MM=%%H"
    set "SS=%%I"
    set "year=%%J"
    SET "DESTINATION=%%J%%E%%F%%G%%H%%I-EXTRACTION"
   )
   
    echo Day of the week: %dow%
    echo Day of the month : %day%
    echo Month : %month%
    echo hour : %HH%
    echo minutes : %MM%
    echo seconds : %SS%
    echo year : %year%
    echo DESTINATION : %DESTINATION%
   
    endlocal
   
    MKDIR \%DESTINATION%\
   

Answer 1

1. 这是一种简单的方法。

set "folder_name=%DATE:~10,4%%DATE:~4,2%%DATE:~7,2%%TIME:~0,2%%TIME:~3,2%%TIME:~6,2%-EXTRACTION" md "%folder_name%"

1. 在上述程序中，您只需要在endlocal之前放置MKDIR“％DESTINATION％”，并且％DESTINATION％应该在双引号内。

MKDIR "%DESTINATION%" endlocal