StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

PO
text
Body
copied!<p>See a <a href="http://tachang.tumblr.com/post/22265579539/using-github-through-draconian-proxies-windows-and" rel="noreferrer">“Using Github Through Draconian Proxies (Windows And Unix)”</a> by Jeff Tchang (formerly available from <a href="http://returnbooleantrue.blogspot.com/2009/06/using-github-through-draconian-proxies.html" rel="noreferrer">another location</a>), which includes instructions for both Windows and Unix platforms, summarized below.</p> <h3>Unix</h3> <ol> <li>Download Git.</li> <li>Download and install <a href="http://www.agroman.net/corkscrew/" rel="noreferrer">corkscrew</a>.</li> <li><p>Edit or create the file <code>~/.ssh/config</code> and put the following:</p> <blockquote> <pre><code>ProxyCommand /usr/bin/corkscrew proxy.example.com 443 %h %p ~/.ssh/myauth Host github.com User git Port 22 Hostname github.com IdentityFile "/media/truecrypt1/Keys/GitHubKey.private" TCPKeepAlive yes IdentitiesOnly yes Host ssh.github.com User git Port 443 Hostname ssh.github.com IdentityFile "/media/truecrypt1/Keys/GitHubKey.private" TCPKeepAlive yes IdentitiesOnly yes </code></pre> </blockquote></li> <li><p>If everything is setup correctly you should be able to run <code>ssh github.com</code> and see</p> <blockquote> <p>Hi user! You’ve successfully authenticated, but GitHub does not provide shell access.<br> Connection to github.com closed.</p> </blockquote> <p>If this doesn’t work you can run <code>ssh ssh.github.com</code> and get the exact same thing. If the first command didn’t work it means you are using a proxy that blocks CONNECT on port 22. Almost no proxies block CONNECT on port 443 because you need that for SSL.</p></li> </ol> <h3>Windows</h3> <ol> <li>Download <a href="http://code.google.com/p/msysgit/" rel="noreferrer">msysgit</a>. Some settings: <ul> <li>“Run Git from the Windows Command Prompt”</li> <li>“Use OpenSSH” (this one is very important)</li> <li>Pick your line endings</li> </ul></li> <li>Download <a href="http://bent.latency.net/bent/darcs/goto-san-connect-1.85/src/connect.html" rel="noreferrer">connect.c</a>. This tool deserves its own post mostly because of its utter simplicity. It mirrors the open source tool corkscrew and is used for tunneling through proxies. Yes the tool’s name is really called “connect.c.” For Windows users, a pre-compiled binary is available. I put my <code>connect.exe</code> in <code>C:\Windows\connect.exe</code>.</li> <li>Decide whether you like to use the Windows <code>cmd.exe</code> to do stuff or the Cygwin style shell. Or both.</li> <li><p>Set up the Cygwin Git bash shell.</p> <p>For the Cygwin style shell start up the Git icon and edit the file <code>~/.ssh/config</code> and make sure the file has no extension. Put the following in that file, and note how the paths are specified.</p> <blockquote> <pre><code>ProxyCommand /c/windows/connect.exe -H username@proxy.example.com:443 %h %p Host github.com User git Port 22 Hostname github.com IdentityFile "/c/Keys/GitHubKey.private" TCPKeepAlive yes IdentitiesOnly yes Host ssh.github.com User git Port 443 Hostname ssh.github.com IdentityFile "/c/Keys/GitHubKey.private" TCPKeepAlive yes IdentitiesOnly yes </code></pre> </blockquote></li> <li><p>Set up the Windows <code>cmd.exe</code> shell.</p> <p>Suppose you don’t like the Git Bash shell. You prefer the cmd.exe interpreter.</p> <ul> <li>Go to your config file at <code>C:\Documents and Settings\.ssh\config</code></li> <li>Make a copy of it or make a new one. I called mine <code>config-windows</code></li> </ul> <p>Put the following in the file, again paying careful attention to path separators and styles.</p> <blockquote> <pre><code>ProxyCommand C:/Windows/connect.exe -H username@proxy.example.com:443 %h %p Host github.com User git Port 22 Hostname github.com IdentityFile "C:\Keys\GitHubKey.private" TCPKeepAlive yes IdentitiesOnly yes Host ssh.github.com User git Port 443 Hostname ssh.github.com IdentityFile "C:\Keys\GitHubKey.private" TCPKeepAlive yes IdentitiesOnly yes </code></pre> </blockquote></li> </ol> <p>For full details, see <a href="http://tachang.tumblr.com/post/22265579539/using-github-through-draconian-proxies-windows-and" rel="noreferrer">the full blog post</a>.</p>

Querying!

Guidance

An individual column

Larger individual text columns get their own page to allow for proper reading.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload