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