ssh 获取 host 匹配的内容

Programming
1

问题如上。简单来说就是，有没有一个可行的 ssh 配置

Host server*-port
  HostName 111.111.111.111
  User example
  IdentityFile ~/.ssh/id_rsa
  Port 9%h0

能够实现实现输入 ssh server01-port，Port 值变成 9001。

我想到了下面这个配置

Match host server*-port
  ProxyCommand ssh  -i ~/.ssh/id_rsa  [email protected] -p 9%h0

但是 %h 替换的是整个 host，有没有啥变量能替换匹配上的内容呢。