这篇文章只是记录以防以后忘记。

假设，有台机子的SSH端口设置为3022（SSH默认的端口为22，不过为了安全，很多人都自己定义另外的端口）且有一个Git仓库，现在要把这个仓库克隆到本地，则可以用到以下命令：

git clone ssh://user@domain.com:3022/~/Projects/my_project