This a pure user-space program, shell-proxy setter, written in Python3 and Zsh.
To use it, add shell-proxy
to the plugins array in your zshrc file:
plugins=(... shell-proxy)
$GIT_SSH
Set SHELLPROXY_URL
environment variable to the URL of the proxy server:
SHELLPROXY_URL="http://127.0.0.1:8123"
proxy enable
Write a program file in $HOME/.config/proxy
so that the proxy URL is defined dynamically.
Note that the program file must be executable.
Example:
#!/bin/bash
if [[ "$(uname)" = Darwin ]]; then
echo "http://127.0.0.1:6152" # Surge Mac
else
echo "http://127.0.0.1:8123" # polipo
fi
Use method 2 but define the location of the program file by setting the
SHELLPROXY_CONFIG
environment variable:
SHELLPROXY_CONFIG="$HOME/.dotfiles/proxy-config"
$GIT_SSH
: https://www.git-scm.com/docs/git#Documentation/git.txt-codeGITSSHcode