为git设置代理

我使用我的办公室网络，要连接到internet，我使用代理。 我正在尝试使用git安装插件-

git clone https://github.com/tmatilai/vagrant-proxyconf.git

但我犯了个错误-

fatal: unable to access 'https://github.com/tmatilai/vagrant-proxyconf.git/': Failed connect to github.com:443; No error

我有以下关于代理的详细信息：IP地址、端口号、域、用户名、密码

如何配置git以使用此代理

---

请帮忙

我在你需要之前就犯了这个错误 如果您有一个具有身份验证的代理，则需要将其放入：

    git config --global http.proxy http://login:password@our-proxy-server:8088

而且它可以正常工作（使用“git clone http:”） 这是一个可能的副本