On Mo, 2004-07-19 at 17:23 +0200, Jaap Haitsma wrote:
Debian indeed uses that one. I would suggest to have 3 options in the end.
Otherwise the options will get overwhelming
1. Direct Connection
2. System Proxy
3. Manual Proxy
System Proxy first checks Gnome proxy then /etc/apt/apt.conf and finally
http_proxy environment variable. If none of the the three exist assume a
direct connection
A better way could be to check if the proxy is set in apt.conf or
http_proxy at the first start and if yes to copy the values into the
manual proxy settings. I think that Michael has done it this way.
Is there a possibilty to edit the proxy settings in apt.conf? I don't
know why we should make a difference between console apt and synaptic
apt.