Collection of mostly command line tools / PHP scripts. Somewhat out of date.

⌈⌋ ⎇ branch:  scripts + snippets


Help: proxy

Command-List

The "proxy" setting:

URL of the HTTP proxy. If "system", the "http_proxy" environment variable is consulted. If undefined or "off", a direct HTTP connection is used.