И это всё МОЁ

День добрый!
Есть пачка хостов с одинаковым именем отличающимся только цифрой
server[01:20]-prod.corp.ru

Есть задача добавить их в .ssh/config

Добавлять 20 записей в конф файл вида

host server01
HostName server01.prod.corp.ru
User poo

мне очень лениво, может можно как-то указать диапазон значений чтобы ssh схавал его?

вроде этого
host server01-20
HostName server01-20.prod.corp.ru
user poo