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

http://www.androiddevtools.cn/

一句话，相见恨晚！！

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

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

Android Tools

Android SDK在线更新镜像服务器

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

   • IPV4/IPV6: http://mirrors.opencas.cn 端口：80

   • IPV4/IPV6: http://mirrors.opencas.org 端口：80

   • IPV4/IPV6: http://mirrors.opencas.ac.cn 端口：80

2. 上海GDG镜像服务器地址:

   http://sdk.gdgshanghai.com 端口：8000

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

   • IPv4: http://ubuntu.buct.edu.cn/ 端口：80

   • IPv4: http://ubuntu.buct.cn/ 端口：80

   • IPv6: http://ubuntu.buct6.edu.cn/ 端口：80

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

   http://mirrors.neusoft.edu.cn 端口：80

使用方法：

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

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

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

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

mac的真正位置在这里

在