Saya mencoba untuk menarik perubahan dari server yang memiliki sshd pada port 2345 dan server hg mendengarkan secara lokal di port 5432. Saya sudah memiliki otentikasi berbasis sertifikat untuk ssh, jadi tidak perlu kata sandi.
Ini tidak bekerja :
hg -v pull ssh://me@myserver.com:2345/ -p 5432
karena perintah tarik rupanya mengambil nomor port dari tempat saya berasumsi ssh akan mengambilnya ...
Ada ide bagaimana melakukan ini?