Specifica la porta SSH per Git

Uso una porta ssh non standard (1234) per la maggior parte dei server a cui mi connetto. Quindi nel mio file di configurazione ssh ho:

Port 1234

Ma github.com usa la porta 22. Quando provo a connettermi a github, ovviamente cerca di usare la porta 1234. In questo momento devo modificare la mia configurazione ssh per far funzionare le cose.

Ecco uno snippet dal mio git config:

[remote "origin"]
        url = git@github.com:asdf/asdf.git

Dai un'occhiata a come impostare correttamente il tuo file ~ / .ssh / config (man 5 ssh_config). È possibile specificare facilmente impostazioni diverse per host diversi. Per risolvere il tuo problema devi impostare

Host github.com
Port 22
Host *
Port 1234

Dai un'occhiata alla pagina di manuale di ssh_config, spiega tutto ciò che devi sapere nelle prime pagine.

L'impostazione di una sezione in ~/.ssh/configè un'ottima soluzione, ma può essere utile conoscere un altro metodo.

La comune sintassi simile a scp di user@host:pathnon ha un posto per una porta, ma Git supporta anche uno ssh:schema URL che può essere usato per specificare la porta:

ssh://git@github.com:22/asdf/asdf.git

Mentre un ssh:URL supporta la specifica della porta, non supporta percorsi relativi (ad esempio non esiste un equivalente diretto alla sintassi simile a scp di user@host:pathdove pathnon inizia con una barra).

GitHub tratta i percorsi relativi e assoluti in modo identico, quindi funziona per loro, ma potrebbe non funzionare per tutti i repository Git basati su SSH. Per un semplice hosting basato su SSH, potrebbe essere necessario inserire /home/username/o /Users/username/quando si passa da percorsi relativi a percorsi assoluti. Alcuni sistemi di hosting potrebbero non gestire affatto i percorsi assoluti (anche se tenderei a chiamare tale mancanza di supporto un bug).

(Adoro quando trovo la risposta subito dopo averlo chiesto.)

Ho modificato la mia configurazione ssh per specificare la porta per ciascun host anziché essere un'impostazione globale:

Host asdf.com
    Port 1234

Host github.com
    User git
    Hostname github.com
    Port 22

Ho trovato questo link e, sebbene sia stato utile, il mio post sul blog potrebbe aiutare a chiarirlo:

https://prestongarrison.com/change-port-git-is-using-for-ssh/

Fondamentalmente penso che sia molto meglio modificare il tuo file .git / config e apportare le modifiche.