Skip to main content

SVN Error: "OPTIONS of 'https://…' could not connect to server (…)"

SVN

Today when I tried to download source-code of an application from a repository on googlecode, an error saying "could not connect to server xxxx.googlecode.com" occurred. I thought the repository might have been down and not available for download. Then I tried the same URL in web browser and it worked.
On searching for a while, I found that this problem is created by proxy settings. SVN needs the proxy settings, apart from that you applied system-wide settings. Then I came to know a solution which worked perfectly. Here it is:
svn --config-option servers:global:http-proxy-host=MY_PROXY_HOST --config-option servers:global:http-proxy-port=MY_PROXY_PORT checkout http://xxxx.googlecode.com/yyyyy/
If the proxy server needs authentication, then try this:
svn --config-option servers:global:http-proxy-host=MY_PROXY_HOST --config-option servers:global:http-proxy-port=MY_PROXY_PORT --config-option servers:global:http-proxy-username=USERNAME --config-option servers:global:http-proxy-password=PASSWORD checkout http://xxxx.googlecode.com/yyyyy/
For various available options:
http://svnbook.red-bean.com/en/1.1/ch07.html#svn-ch-7-sect-1.3.1

Comments

Popular posts from this blog

Ubuntu: Access a usb flash drive from the terminal

    1. Find what the drive is called You'll need to know what the drive is called to mount it. To do that fire off: sudo fdisk -l You're looking for a partition that should look something like:   /dev/sdb1 . Remember what it's called. 2. Create a mount point Create a new directory in   /media   so you can mount the drive onto the filesystem: sudo mkdir /media/usb 3. Mount! sudo mount /dev/sdb1 /media/usb When you're done, just fire off: sudo umount /media/usb Source: StackOverflow

Code for Php based online Treasure Hunt

Hello guys. Some time back I organized an online treasure hunt as part of an event at my college. I thought of sharing the code with you, as you might find it useful. So, I uploaded it on github and here is the link to my repository. Download it from here , and enjoy organizing the game

Create your own custom ROM for any Android device (from XDA)

Don't want to spend time reading? Have a look at the videos here You can find a detailed guide, which keeps on updating in this thread . This guide is for the one who have little experience with Android. Also covers some good advanced topics.