On Tue, Dec 05, 2000 at 10:08:58AM +0000, Philip Charles wrote:
> Could someone tell me what the "pool" directory is about? Is it necessary
> to mirror it? I see that non-US has established it and it is obviously
> going to take a lot of disk space.
It won't take any more disk space than mirroring dists/ does atm. As
it gets populated, dists/ will take up correspondingly less space to
compensate, also. (That is, .deb's that would have appeared in dists/
will now appear instead in pool/)
Cheers,
aj
--
Anthony Towns <aj@humbug.org.au> <http://azure.humbug.org.au/~aj/>
I don't speak for anyone save myself. GPG signed mail preferred.
``Thanks to all avid pokers out there''
-- linux.conf.au, 17-20 January 2001
Attachment:
pgpp0MoP2j1Mx.pgp
Description: PGP signature