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://[email protected]:2345/ -p 5432
karena perintah tarik rupanya mengambil nomor port dari tempat saya berasumsi ssh akan mengambilnya ...
Ada ide bagaimana melakukan ini?
Hal paling sederhana adalah memasukkan entri ~/.ssh/config, sesuatu seperti:
Host myserver.com
Port 2345
Anda hanya perlu
hg -v pull ssh://[email protected]:2345/full_pathname
misalnya.
hg -v pull ssh://[email protected]:2345//srv/hg/username/repos
-p bukan opsi yang dikenali untuk hg pull. Perhatikan sintaks jalur Anda di atas juga salah
hg -v pull ssh://[email protected]:2345/
bukan sintaks yang benar.