ssh config file
День добрый! Есть пачка хостов с одинаковым именем отличающимся только цифрой 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