Hi,
On Tue, 28 Sep 1999, Herbert Xu wrote:
> So please come up with an alternative way of setting proxies, perhaps
> through a new configuration file or an existing one.
AFAIK apt does actually support setting proxies in a config file. My
current apt version is 0.3.13, but it has supported this since, uhhm, I
don't even remember.
Check out /usr/doc/apt/examples/apt.conf.gz for a list of all the
available settings (but don't use it integrally, as some colleague of mine
did, and who found his /usr remounted ro every time he ran apt. That is
especially fun when you insist on putting homes in /usr/home...)
Cheers,
Joost
This is my /etc/apt/apt.conf:
---cut---
APT {
Architecture "i386";
Get {
No-Cache "true";
No-Store "true";
Max-Age "3600";
Assume-Yes "true";
Fix-Broken "true";
};
};
Acquire {
Queue-Mode "host";
Retries "3";
http {
No-Cache "true";
No-Store "true";
Max-Age "3600";
Proxy "http://www-proxy.mpn.cp.philips.com:8080";;
};
};
// Pre-configure all packages before they are installed.
DPkg::Pre-Install-Pkgs {"dpkg-preconfig --apt";};
---cut---
