Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
You can setup proxy in a terminal by export environment variables http_proxy and `https_proxy'.
export http_proxy='proxy_server:port'
export https_proxy='proxy_server:port'
However, you might find the exported environment variables are …