Tous les gists

1	#!/usr/bin/env bash
2	# proxy.sh — управление HTTP_PROXY переменными
3	# Использование: source proxy.sh [on|off|status]
4	# Алиас в .bashrc: alias proxy='source /path/to/proxy.sh'
5
6	PROXY_ADDR="http://127.0.0.1:18080" # <- [!] указать адрес прокси тут
7	NO_PROXY_LIST="localhost,127.0.0.1,10.0.0.0/8,192.168.0.0/16"
8
9	case "${1:-status}" in
10	on)