Não é possível escrever um script no arquivo de configuração para extrair uma variável para o número da porta.
Mas você pode escrever uma função bash
para obter a porta para você e colocá-la no local correto. Por exemplo, coloque o seguinte no ~/.bashrc
:
function ssh-dynamic() {
PORT='sh get_port_for_somehost.sh'
exec ssh -p "$PORT" somehost "$@"
}
onde a outra configuração pode permanecer no ~/.ssh/config
.