Configuración de cliente ssh para varios hosts similares

En este momento mi .ssh/configtiene muchas entradas como esta:

Host         a
Hostname     foo01.bar.quuux.zot.d.t.s.cc
User         sds
ProxyCommand ssh -A -l sds XXX.XXX.XXX.XXX nc %h %p

Host         b
Hostname     goooo013.zoo.bar.quuux.zot.d.t.s.cc
User         sds
ProxyCommand ssh -A -l sds XXX.XXX.XXX.XXX nc %h %p

es decir, la única diferencia entre las entradas es el Hostalias y la primera parte de Hostname.

Me pregunto si es posible evitar esta aburrida duplicación.

Lo sentimos, no parece haber un dominio predeterminado en ssh_config. Si su máquina también está en .zoo.bar.quuux.zot.dtscc, entonces no necesita el nombre de dominio. De lo contrario, su mejor opción es hacerlo a mano como probablemente lo esté haciendo ahora, o escribir un guión que tome líneas:

a foo01
b goooo013

y genera el archivo .ssh / config (o tal vez escriba una macro en su editor de texto favorito que realice la conversión).