The script to set the mirror did not seem to work from behind my firewall, so I'm still using whatever emerge's defaults are.
Is there any way to improve emerge's reliability? Should I set a different mirror by hand?
-Rich-
-- [EMAIL PROTECTED] mailing list
