GitHub desktop 设置代理,加快仓库来取和推送
在使用 GitHub Desktop 时,有时我们可能会遇到网络访问问题,这时候设置代理就显得尤为重要。本文将详细介绍三种在 GitHub Desktop 中设置代理的方法。
一、全局设置代理
- Windows 系统:
打开 “设置”,进入 “网络和 Internet” 选项。
在左侧菜单中选择 “代理”,然后在右侧 “手动设置代理” 区域,开启 “使用代理服务器” 开关。
输入代理服务器地址和端口号,保存设置。
- Mac 系统:
点击苹果菜单,选择 “系统偏好设置”。
点击 “网络” 图标,选择当前连接的网络,点击 “高级”。
在 “代理” 选项卡中,勾选 “网页代理 (HTTP)”、“安全网页代理 (HTTPS)” 等,输入代理服务器地址和端口号,点击 “好” 保存设置。
设置全局代理后,GitHub Desktop 会自动使用系统的代理设置。
二、通过 github.config 设置代理
打开命令行工具(Windows 下为 CMD 或 PowerShell,Mac 下为终端)。
输入以下命令查看当前的 git 配置:
1 | git config --global --list |
- 如果没有配置过代理,输入以下命令设置代理,假设代理服务器地址为proxy.example.com,端口为8080:
1 | git config --global http.proxy http://proxy.example.com:8080 |
- 如果需要取消代理,使用以下命令:
1 | git config --global --unset http.proxy |
通过这种方式设置代理后,GitHub Desktop 会遵循 git 的配置来使用代理。
三、通过启动目标设置 –proxy-server
- Windows 系统:
找到 GitHub Desktop 的快捷方式,右键点击,选择 “属性”。
在 “目标” 一栏的最后添加 –proxy-server=http://proxy.example.com:8080 (将proxy.example.com:8080替换为实际的代理服务器地址和端口)。
1 | C:\Users\walter\AppData\Local\GitHubDesktop\GitHubDesktop.exe --proxy-server=socks5://127.0.0.1:1080 |
- 点击 “确定” 保存设置。
- Mac 系统:
打开 “访达”,进入 “应用程序” 文件夹。
找到 GitHub Desktop 应用程序,右键点击,选择 “显示包内容”。
进入 “Contents/MacOS” 目录,找到 GitHub Desktop 可执行文件。
打开终端,输入命令cd /Applications/GitHub\ Desktop.app/Contents/MacOS (注意路径中的空格需要转义)。
输入命令./GitHub\ Desktop –proxy-server=http://proxy.example.com:8080 (将proxy.example.com:8080替换为实际的代理服务器地址和端口)来启动 GitHub Desktop。
通过这种方式设置代理,每次启动 GitHub Desktop 时都会使用指定的代理服务器。
以上就是在 GitHub Desktop 中设置代理的三种常见方式,你可以根据自己的需求和实际情况选择合适的方法。