i'm using PHPProxy to go on the internet (www.phpproxy.fr). How can i tell cabal to use this? ... PHPProxy is a web based proxy. To use it, you have to type the http address you want in a field on the page.
You still need some web access in order to access a web-based proxy... Is www.phpproxy.fr the only outer site you can connect directly to? I am just curious of what kind of LAN you have got. :) How do you update your OS, anyway? How do you download files? * * * Try the following: # Download phpproxy wget -c 'http://idea.hosting.lv/a/phpproxy/phpproxy-0.6.tar.gz' # Unpack tar -xzf phpproxy-0.6.tar.gz # Launch PHPProxy client cd phpproxy-0.6 python phpproxy.py # In another terminal, try running cabal with `http_proxy' http_proxy=http://localhost:8080/ cabal update --verbose=3 Please, report your progress. Good luck! -- vvv