git remote add with other SSH port

Gitで、ホストが別のSSHポートを使用しているときにリモートオリジンサーバーを追加するにはどうすればよいですか？

git remote add origin ssh://user@host/srv/git/example

あなたはこれを行うことができます：

git remote add origin ssh://user@host:1234/srv/git/example

1234 使用されているsshポートです

〜/ .ssh / configファイルを編集する必要があります。次のようなものを追加します。

Host example.com
    Port 1234

迅速なGoogle検索は示して、いくつかの 異なった私よりもより詳細にそれを説明するリソースを。

ベストアンサーではうまくいきません。ssh://初めから必要でした。

# does not work
git remote set-url origin user@example.com:10000/aaa/bbbb/ccc.git
# work
git remote set-url origin ssh://user@example.com:10000/aaa/bbbb/ccc.git

あなたが編集している人のために ./.git/config

[remote "external"]                                                                                                                                                                                                                                                            
  url = ssh://evanc@www.foo.com:11720/aaa/bbb/ccc                                                                                                                                                                                                               
  fetch = +refs/heads/*:refs/remotes/external/* 

ssh://プロトコルプレフィックスを使用する代わりに、SSH経由でgitにアクセスするために従来のURLフォームを引き続き使用できますが、1つの小さな変更があります。注意として、従来のURLは次のとおりです。

git@host:path/to/repo.git

代替ポートを指定するにはuser@host、ポートを含むパーツをブラケットで囲みます。

[git@host:port]:path/to/repo.git

ただし、ポートの変更が一時的なものである場合は、リポジトリのリモートURLを変更する代わりに、別のSSHコマンドを使用するようにgitに指示できます。

export SSH_GIT_COMMAND='ssh -p port'
git clone git@host:path/to/repo.git # for instance