Setup.exe has a problem though. It cannot remember the proxy port and always defaults to 80 regardsless. /etc/setup/last-connection contains the correct information, though.
Yes, known problem. It also doesn't remember the proxy username and password. I had no time at all lately to add these promised enhancements. New job.
-- Reini Urban http://xarch.tu-graz.ac.at/home/rurban/ http://phpwiki.org/
-- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Problem reports: http://cygwin.com/problems.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/