Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 563712 - profiles/thirdpartymirrors - mplayer mirror group - 2/8 dead mirrors
Summary: profiles/thirdpartymirrors - mplayer mirror group - 2/8 dead mirrors
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Eclasses (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Media-video project
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-10-21 19:57 UTC by Ben Kohler
Modified: 2015-10-24 09:18 UTC (History)
2 users (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Ben Kohler gentoo-dev 2015-10-21 19:57:21 UTC
Hello,

I've checked mirrors in the mplayer mirror group from profiles/thirdparymirrors and it would appear that 2 of the listed 8 are dead:

Testing "mplayer" mirror group...
good: http://www1.mplayerhq.hu/MPlayer
good: http://www2.mplayerhq.hu/MPlayer
bad:  http://www3.mplayerhq.hu/MPlayer
bad:  http://www4.mplayerhq.hu/MPlayer
good: http://www5.mplayerhq.hu/MPlayer
good: http://www7.mplayerhq.hu/MPlayer
good: http://www8.mplayerhq.hu/MPlayer
good: ftp://ftp.fu-berlin.de/unix/X11/multimedia/MPlayer

This also lines up with what I see on http://mplayerhq.hu/design7/dload.html (left hand column, WWW Mirrors), they have delisted www3 & www4 mirrors there.

One solution would be to just remove these mirrors, but is this mirror list really needed?  The files are mirrored on gentoo so there are already very few fetches from the upstream servers.  Just because there EXISTS a list of mirrors upstream doesn't mean we really need to copy & maintain that full list on gentoo =)  Just my 2 cents.

Thanks!
Comment 1 Alexis Ballier gentoo-dev 2015-10-23 08:00:27 UTC
(In reply to Ben Kohler from comment #0)
> One solution would be to just remove these mirrors

since you've basically done all the work, would you mind sending a github PR removing those ?

>, but is this mirror list
> really needed?

mirror://mplayer is used by mplayer ebuilds, so removing the list requires fixing the ebuilds; the list probably does not provide much gain but since upstream provides them and they're already in place on our side I'd rather keep it :)
Comment 2 Ben Kohler gentoo-dev 2015-10-23 15:28:24 UTC
I created a PR, this is my first one so please let me know if there are problems with it.

https://github.com/gentoo/gentoo/pull/279
Comment 3 Alexis Ballier gentoo-dev 2015-10-24 09:18:47 UTC
(In reply to Ben Kohler from comment #2)
> I created a PR, this is my first one so please let me know if there are
> problems with it.
> 
> https://github.com/gentoo/gentoo/pull/279

merged, thanks!