On Thu, Jul 9, 2009 at 13:44, Gerhard Brauer<gerhard.bra...@web.de> wrote: > Am Donnerstag, den 09.07.2009, 19:17 +0200 schrieb Gerhard Brauer: >> You also could easy check a mirror with this script: > Could we add such a check into pacman?
I don't think that's really needed. We shouldn't have any consistantly outdated mirrors, and if we do, they should be either marked as such or removed from the mirrorlist.
