|
|
6 years ago | |
|---|---|---|
| .. | ||
| README.md | 6 years ago | |
| proxy.py | 6 years ago | |
| shell-proxy.plugin.zsh | 6 years ago | |
| ssh-agent.py | 6 years ago | |
| ssh-proxy.py | 6 years ago | |
This a pure user-space program, shell-proxy setter, written Python3 and Bash.
100% only no side-effects, only effect environment variables and aliases
$GIT_SSHaliasMethod 1:
$DEFAULT_PROXY is the proxy URL you will set
Method 2:
Write a program to $HOME/.config/proxy in the file.
Example program:
#!/bin/bash
# The file path: $HOME/.config/proxy
if [[ "$OSTYPE" == "darwin"* ]]; then
echo "http://127.0.0.1:6152" # Surge Mac
else
echo "http://127.0.0.1:8123" # polipo
fi
Method 3:
The working path of Method 2 can be changed via $CONFIG_PROXY
$GIT_SSH: https://www.git-scm.com/docs/git#Documentation/git.txt-codeGITSSHcodePublic Domain