Desculpe, parece não haver um domínio padrão em ssh_config. Se sua máquina também estiver em .zoo.bar.quuux.zot.d.t.s.cc, você não precisará do nome de domínio. Caso contrário, sua melhor opção é simplesmente fazer isso manualmente, como você provavelmente está fazendo agora, ou escrever um script que tenha linhas:
a foo01
b goooo013
e gera o arquivo .ssh / config (ou talvez escreva uma macro no seu editor de texto favorito que faz a conversão).