Cum se editează mijlocul numelui gazdei (%h) în ssh config?

În ssh config, puteți edita cu ușurință un nume de gazdă, adăugându-l sau adăugându-l cu ceva. De exemplu, când doriți să vă conectați la server cu test ssh5, dar de fapt numele serverului este test5.mail, puteți specifica serverul astfel:

Match exec "echo %h | grep -q '^test[0-9]$'"
    Nume gazdă %h.mail

Aceeași abordare ar putea fi aplicată dacă trebuie să adăugați numele gazdei.

Dar dacă vreau să editez mijlocul numelui de gazdă? De exemplu, vreau să mă conectez ca ssh server1.stocare, dar adresa reală la care vreau să mă conectez este server1.int.storage.

Cu alte cuvinte, vreau să inserez subșir în mijlocul lui %h.

puteți doar bitul nc din proxycommand fără a repeta ssh

Match exec "echo %h | grep -q '^server[0-9]*.storage$'"
    ProxyCommand nc $(echo %h | sed 's/storage/int.storage/') %p

în cazul meu, l-am folosit pentru nume aws ec2 care nu pot fi rezolvate prin dns

Match exec "echo %n | grep -qE '^ip-.*\.compute\.internal$'"
ProxyCommand nc $(echo %n | cut -d. -f1 | cut -d- -f2- | tr - .) %p

Următoarele au funcționat pentru mine:

Match exec "echo %h | grep -q '^server[0-9]*.storage$'"
    ProxyCommand ssh $(echo %h | sed 's/storage/int.storage/') nc $(echo %h | sed 's/storage/int.storage/') %p

Am găsit un exemplu de comandă proxy în asta întrebare. Dar nu înțeleg complet de ce aveți nevoie de acea parte cu nc și %p. Acolo specificați comanda de editare de două ori. Aș dori să o precizez doar o dată, astfel:

ProxyCommand ssh $(echo %h | sed 's/storage/int.storage/')

dar nu merge.

Din aceeași întrebare legată mai sus, văd că puteți specifica și scriptul de gestionare. Dar se pare că comanda ar trebui din nou specificată cu editarea de două ori. Așa că prefer să păstrez totul într-un singur loc - în configurația ssh în sine.

Ar aprecia explicații și alte variante de soluții, dacă există.