Skip to content

Instantly share code, notes, and snippets.

@little-dude
little-dude / git_proxy.sh
Created May 25, 2018 17:25
set git proxies
# Set a git proxy for the SSH a git protocols in the current shell.
#
# Note that for SSH you can also set the Proxycommand in the ~/.config/ssh
# file, which might be more convenient than setting that in each shell
#
# Host gh
# User git
# Hostname github.com
# Port 22
# IdentityFile ~/.ssh/my_key