Я пытаюсь получить изменения с сервера, который имеет sshd на порт 2345 и сервер hg, прослушивающий локально на порт 5432. У меня уже есть аутентификация на основе сертификатов для ssh, поэтому нет необходимости в пароле.
Это не работает:
hg -v pull ssh://me@myserver.com:2345/ -p 5432
поскольку команда pull, по-видимому, берет номер порта, откуда я предположил, что ssh будет его брать ...
Есть идеи, как это сделать?