Как изменить середину имени хоста (%h)в конфигурации ssh?

В конфигурации ssh вы можете легко отредактировать имя хоста, добавив или добавив к нему что-то. Например, если вы хотите подключиться к серверу с ssh test5, но на самом деле имя сервера — test5.mail, вы можете указать сервер следующим образом::

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

Тот же подход можно применить, если вам нужно добавить имя хоста.

Но что, если я хочу отредактировать середину имени хоста? Например, я хочу подключиться как ssh server1.storage, но фактический адрес, к которому я хочу подключиться, — server1.int.storage.

Другими словами, я хочу вставить подстроку в середину %h.