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" SHELLPROXY_NO_PROXY="localhost,127.0.0.1" 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 # HTTP Proxy if [[ "$(uname)" = Darwin ]]; then echo "http://127.0.0.1:6152" # Surge Mac else echo "http://127.0.0.1:8123" # polipo fi # No Proxy echo "localhost,127.0.0.1"
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-codeGITSSHcodeRetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4