O mais simples seria colocar uma entrada em ~/.ssh/config
, algo como:
Host myserver.com
Port 2345
Estou tentando extrair alterações de um servidor que possui sshd na porta 2345 e um servidor hg escutando localmente na porta 5432. Já tenho autenticação baseada em certificados para ssh, portanto não há necessidade de senha.
Este não funciona :
hg -v pull ssh://[email protected]:2345/ -p 5432
desde que o comando pull aparentemente pega o número da porta de onde eu supus que o ssh o levaria ...
Alguma ideia de como fazer isso?
O mais simples seria colocar uma entrada em ~/.ssh/config
, algo como:
Host myserver.com
Port 2345
Você só precisa
hg -v pull ssh://[email protected]:2345/full_pathname
por exemplo,
hg -v pull ssh://[email protected]:2345//srv/hg/username/repos
-p não é uma opção reconhecida para o hg pull. Observe que a sintaxe do caminho acima também está errada
hg -v pull ssh://[email protected]:2345/
não é a sintaxe correta.