diff options
| author | Bjørn Forsman <bjorn.forsman@gmail.com> | 2015-07-29 00:30:58 +0200 |
|---|---|---|
| committer | Bjørn Forsman <bjorn.forsman@gmail.com> | 2015-07-29 13:41:35 +0200 |
| commit | f5954509122160ed8209a3158e49ae054c12fcf8 (patch) | |
| tree | 7337b0346d2aed5954e379eeea38b72a6cd702d5 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 1ce5c9683656f4aabe316f59cdafa74a7ce1b123 (diff) | |
eclipse: switch to officially mirrored download URLs
That is, replace all mirror specific URLs with the generic form:
http://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/path/to/file
* r=1 auto-redirects to best mirror
* nf=1 returns HTTP 404 if there is no file, instead of HTML data
It's documented here:
http://wiki.eclipse.org/IT_Infrastructure_Doc#Use_mirror_sites.2Fsee_which_mirrors_are_mirroring_my_files.3F
All URLs are tested (they work).
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions