来自主机匹配的 ssh 变量端口

Question

假设我有以下配置~./ssh/config

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

如果我这样做ssh server01-port，我希望端口是9010。如果我这样做ssh server12-port，端口应该是9120。

是否可以使用默认的 ssh 配置语法，或者是否有适合的工具？