Tag Archives: tip

Git through a proxy

I was connected to a LAN behind a proxy. When I tried to download something from github I got this error:
fatal: unable to connect to github.com:
github.com: Name or service not known

I’m running latest Ubuntu desktop (12.04).

One way I found to bypass this problem is to create a git proxy wrapper.

  1. Create the script i.e. ~/bin/git-wrapper.sh and configure the 2 variables according to your needs. My proxy is a local service which forwards my requests to the real LAN proxy. Local service is configured to listen on the 5865 port of my local (127.0.0.1) machine.
    #!/bin/bash
    proxy_address=127.0.0.1
    proxy_port=5865
    nc -x$proxy_address:$proxy_port -X5 $*
  2. export an environment variable
    $ export GIT_PROXY_COMMAND=~/bin/git-wrapper.sh

Then you can run your usual git commands.

Best way to restore Xperia X10 Mini Pro stock ROM

I found that the only reliable way to restore a stock ROM on this phone is SEUS.

SEUS stands for Sony Ericsson Update Service:

Update your phone for optimal performance and get the latest enhancements. Regardless if you have the latest software, it is a good routine to run Update Service to improve software stability. Also, if you experience problems with your phone this may be solved by a software update.

In the real world this piece of software can be used to restore the stock ROM. It takes care to download everything you need from Sony servers.

It’s a Windows software that was easily accessible from sony site, but now it’s quite hidden in their pages.

The official page is accessible from here.

The direct url I found to download the software is this.

I hope it’s useful to you as it was to me.