如果是配置macOS系统的Wi-Fi代理服务器地址,可以用networksetup命令。
<password>改成你当前用户的密码。就能设置http和https的
<port>改成端口号
echo <password> | sudo -S networksetup -setwebproxy Wi-Fi 127.0.0.1 <port> && sudo networksetup -setsecurewebproxy Wi-Fi 127.0.0.1 <port>有其他的需求可以对networksetup命令进行深入挖掘,这个工具很实用。
如果是命令行工具的代理设置,就是`/.bash_profile`的修改了,我就不重复回答了。
根据今天在OS X 10.9.4 (版本号13E28) 上的测试结果,wget工具的代理在wgetrc文件(在wget的安装路径下)中进行设置。对于Homebrew软件,可以使用export命令进行设置。下面是代码演示:
export http_proxy=:password@proxyip:portexport https_proxy=:password@proxyip:port我的实际演示为:
export http_proxy=proxy.xxxx:8080
export https_proxy=proxy.xxxx:8080
注意:上面通过export设置的代理是临时的,重启系统后需要再次设置。至于如何配置永久的网络代理,尚在研究中,欢迎切磋。
现在提供一个保存代理设置的解决方案(已重启操作系统验证设置可用):
此方案的思路是在用户根目录下新建一个.bash_profile文件,把代理服务器地址写入到此文件,保存设置,通过source命令使设置生效。
test:~ cmcc$ vim ~/.bash_profile
test:~ cmcc$ source ~/.bash_profile
test:~ cmcc$ cat~/.bash_profile
http_proxy=proxy.xxxx:8080
https_proxy=proxy.xxxx:8080
test:~ cmcc$ echo $http_proxy
proxy.xxxx:8080
test:~ cmcc$ echo $https_proxy
proxy.xxxx:8080