给Github Desktop设置代理

因为 Github Desktop 的设置中并没有设置代理的选项,如果我们又不想打开全局代理,就会进入一个很棘手的情况。因为有时候 GitHub 会偶尔连不上,导致 Github Desktop 以为登录信息过期了,但是按照流程再重新登录一次 GitHub 账号仍然会卡在这个阶段。

不过幸好 Github Desktop 是基于 Electron 开发的。Electron 的应用有个特性,就是启动的时候可以通过 --proxy-server="http://127.0.0.1:1080" 这样的参数设置代理服务器。

因此,我们只需要右键点击 Github Desktop 的快捷方式,点击“属性”。然后在打开的窗口里切换到“快捷方式”这一栏。然后在“目标”这个输入框的内容的最后加上 --proxy-server="http://127.0.0.1:1080" (这个代理地址需要根据你自己的情况进行修改,注意要在 --proxy-server 的前面加一个空格)。然后点“确定”来保存更改。用这个快捷方式来打开 Github Desktop 就能让 Github Desktop 通过这个代理来访问互联网了。