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