Global proxy server for EEE PC Linux

If you use EEE PC in Linux environment and you are behind a firewall, you have to setup proxy server in various applications. These are a few examples here

(1) Firefox (web browser)

Edit -> Preferences -> Network tab -> Settings button -> choose manual proxy configuration


(2) apt-get (install/update package)

In terminal, run

export http_proxy="http://user:pw@proxyaddress:port"

e.g. in Hong Kong Public Library

export http_proxy="http://hkclproxy.hkpl.gov.hk:8080"

(3) svn (subversion)

edit the [global] section in this file ~/.subversion/server

e.g. in Hong Kong Public Library

[global]
http-proxy-host = hkclproxy.hkpl.gov.hk
http-proxy-port = 8080

(4) wget

add the following to ~/.wgetrc file:

http_proxy = http://hkclproxy.hkpl.gov.hk:8080/
use_proxy = off
wait = 15

use the following command option --proxy say to enable ad hoc proxy

wget --proxy http://www.google.com/