У меня есть много серверов с именами, заканчивающимися на 001, 002, 003, и я хочу переименовать их во что-то более простое; что-то вроде этого:
Host server*
User user
HostName server-xxx-yyy-zzz-*
Host client*
User user
HostName client-xxx-yyy-zzz-*
И тогда ssh server001
выполняется как ssh server-xxx-yyy-zzz-001
Есть ли способ сделать это только с помощью ssh-config? можно сделать какой-нибудь маневр в /etc /hosts? или мне нужно создать скрипт для генерации конфига для каждого хоста?