mac android sdk manager 无法更新（被墙）

http://www.androiddevtools.cn/

一句话，相见恨晚！！

想把以前的旧安卓项目拿到MAC上

环境就卡住了，以前的包是4.4的，想试试5.0的，更新不动

Android Tools

Android SDK在线更新镜像服务器

中国科学院开源协会镜像站地址:

IPV4/IPV6:

http://mirrors.opencas.cn

端口：80

IPV4/IPV6:

http://mirrors.opencas.org

端口：80

IPV4/IPV6:

http://mirrors.opencas.ac.cn

端口：80

上海GDG镜像服务器地址:

http://sdk.gdgshanghai.com

端口：8000

北京化工大学镜像服务器地址:

IPv4:

http://ubuntu.buct.edu.cn/

端口：80

IPv4:

http://ubuntu.buct.cn/

端口：80

IPv6:

http://ubuntu.buct6.edu.cn/

端口：80

大连东软信息学院镜像服务器地址:

http://mirrors.neusoft.edu.cn

端口：80

使用方法：

启动 Android SDK Manager ，打开主界面，依次选择『Tools』、『Options...』，弹出『Android SDK Manager - Settings』窗口；

在『Android SDK Manager - Settings』窗口中，在『HTTP Proxy Server」和「HTTP Proxy Port』输入框内填入上面镜像服务器地址(不包含http://，如下图)和端口，并且选中『Force https://... sources to be fetched using http://...』复选框。设置完成后单击『Close』按钮关闭『Android SDK Manager - Settings』窗口返回到主界面；

依次选择『Packages』、『Reload』。



官方说明 明显是windows的，MAC下我找了许久都没找到。
mac下Tools后压根没有Options

mac的真正位置在这里



在