Из командной строки CMD нужно определенным образом форматировать цифры: 1 заменить на 0001, 15 - на 0015, 125 на 0125 и т.п. Решил, что заготовкой будет цикл FOR, в котором переменная меняет значение в зависимости от шага итерации. Но ничего не получилось, в результате начал писать тестовые скрипты, чтобы найти проблему. Например, так:
Я ожидаю такого результата:
Получаю результат:

Еще раз пишу:
Результат:

Читаю справку по команде SET, вижу, что ее можно использовать в теле цикла:

И в чем тогда проблема? Почему не получается выполнить ECHO для текущего значения переменной?

Basil A. SidorovЕсли вкратце, то "set переменная=значение&echo %переменная%", обрабатывается как единое целое и использует то значение переменной, которое было ДО выполнения строки.


Действительно, это так. Я не до конца осознал возможности запуска командного процессора в режиме связывания времени выполнения:

Тестовый код выглядит так:
Результат:
То есть, то что надо. Но, в конце концов, этот скрипт я помещу в BAT-файл, и как из BAT-файла перевести сеанс в режим /v ?

Решение найдено. Для BAT-файла скрипт выглядит так:
Всем спасибо.