Setting Up Github Behind a Proxy

Setting Up Github Behind a Proxy by eceppda

For work I have to travel every few months. The last 3 times in a row I’ve had to configure a new box when I arrived at my destination. It’s a lot of extra work, and I always forget how to configure github for my particular needs. So here I’ve just finished another configuration setup, and I’m writing this down exhaustively, once and for all.


sudo apt-get install git-core corkscrew xclip;

Create a file named ‘config’ in ~/.ssh, like this:




host gh
     user git
     hostname ssh.github.com
     port 443
     proxycommand corkscrew <<url>> <<port>> %h %p ~/.ssh/proxyauth

Note user is GIT, not your own github account username.

Create a file named ‘proxyauth’ in ~/.ssh, like this:




username:password

Add your ssh key to github:




xclip -sel clip < ~/.ssh/id_rsa.pub

Test:




ssh -T gh

You should be able to connect. If not fix this first before proceeding.

Now, you can:




git clone gh:eceppda/nerdterm.git

And also remember to push to gh-pages:


git push -u origin gh-pages

Or, you can create a new repo like this:




git init [...]
git remote add origin gh:eceppda/.emacs.d.git
git push -u origin master

NERD TERMINAL