[CMD] Добавить лидирующие нули

[HalloMain]

Приветствую!
Хочу пингануть заданный диапазон, но не адресов, а имен компов.
Делаю так:

for /L %i in (000,1,130) do ping -n 1 host-%i

Но пинг начинается с одного нуля, а не с трех, как мне нужно.
Вопрос.
Как сделать, чтобы пинг начинался с трех нулей?
Т.е. так:
ping -n1 host-000
ping -n1 host-001
ping -n1 host-002
ping -n1 host-...
ping -n1 host-130

 

[Dragokas]

Здравствуйте, @HalloMain!
Добро пожаловать на SafeZone.

Из-под командного файла:

@echo off
SetLocal EnableExtensions
for /L %%i in (0,1,130) do call :foo %%i
goto :eof

:foo
set p=00%1
ping -n 1 host-%p:~-3%

Из-под командной строки:

cmd /e /v /c "for /L %i in (0,1,130) do set p=00%i& ping -n 1 host-!p:~-3!"

 

[HalloMain]

Здравствуйте, @HalloMain!
Добро пожаловать на SafeZone.

Из-под командного файла:

@echo off
SetLocal EnableExtensions
for /L %%i in (0,1,130) do call :foo %%i
goto :eof

:foo
set p=00%1
ping -n 1 host-%p:~-3%

Из-под командной строки:

cmd /e /v /c "for /L %i in (0,1,130) do set p=00%i& ping -n 1 host-!p:~-3!"

Спасибо!
В bash как-то проще ))