I tried to create a git repo with the instructions from "source.android.com/source/downloading.html#installing-repo"
but I get the following error when trying to initialize the repo in the working directory (using Ubuntu):
:~/workdir$ repo init -u https://android.googlesource.com/a/platform/manifest
fatal: Cannot get https://gerrit.googlesource.com/git-repo/clone.bundle
fatal: error [Errno -2] Name or service not known
I have created the ~/.netrc file with generated password and also set the HTTP_PROXY and HTTPS_PROXY variables.
When I try to access the above clone.bundle link through a browser, I get "not found" error.
Please let me know if some additional settings need to be done. Thanks in advance.