163187 – dev-util/source-highlight could use mirror://gnu/

Bug 163187 - dev-util/source-highlight could use mirror://gnu/

Summary: dev-util/source-highlight could use mirror://gnu/

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	New packages (show other bugs)
Hardware:	All Linux

Importance:	High normal (vote)
Assignee:	Tiziano Müller (RETIRED)

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2007-01-22 08:19 UTC by Diego Elio Pettenò (RETIRED)
Modified:	2007-01-22 14:25 UTC (History)
CC List:	0 users

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

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Diego Elio Pettenò (RETIRED) gentoo-dev

2007-01-22 08:19:23 UTC

Hi,

as per summary your package could use mirror://gnu/ rather than pointing directly to ftp://ftp.gnu.org/gnu/, this way if the distfile cannot be found on Gentoo mirrors, the user can still download it from a nearby mirror, if they got it configured (I do).

sed -i -e 's|ftp://ftp.gnu.org/gnu/|mirror://gnu/|' would likely do the trick.

Thanks,
Diego

Comment 1 Tiziano Müller (RETIRED) gentoo-dev

2007-01-22 14:25:46 UTC

Thanks Diego! Fixed...