just append 'http://' with the proxy IP address and port.
# http_proxy=http://<proxy IP or hostname>:<port> # export http_proxy
Below is the perfect proxy setting in bash...
#export http_proxy=http://username:password@<IP of Proxy Server>:<port>
If proxy authentication is not ther then below would be enough...
#export http_proxy=http://<IP of Proxy Server>:<port>
--
I tried the above but now when i try to ping www.google.com ping: unknown host www.google.com is what i get.