我尝试根据“ source.android.com/source/downloading.html#installing-repo”中的说明创建一个git repo
但是尝试在工作目录（使用Ubuntu）中初始化存储库时收到以下错误：
：〜/ workdir $ repo init -u https://android.googlesource.com/a/platform/manifest
致命：无法获取https://gerrit.googlesource.com/git-repo/clone.bundle
致命：错误[Errno -2]名称或服务未知
我已经使用生成的密码创建了〜/ .netrc文件，并且还设置了HTTP_PROXY和HTTPS_PROXY变量。
当我尝试通过浏览器访问上面的clone.bundle链接时，出现“未找到”错误。
请让我知道是否需要做一些其他设置。提前致谢。