I\'m trying to install a platform but when I open Android Manager then I click Available Software then select the
https://dl-ssl.google.com/android/repository/repository.xml
I had a similar situation where I had the proxy settings already set and the SDK manager wasn't able to modify them permanently. Modifying manually the ~/.android/androidtool.cfg file fixed the issue.