You first need access to updates.jenkins-ci.org -- requesting update
data or downloads from there will redirect to mirrors.jenkins-ci.org,
which will in turn redirect to the most appropriate mirror host.
I believe everything by default runs over port 80.
Regards,
Chris
Correct. The mirror hostnames are listed here, but of course there's no
guarantee that mirrors won't be added or removed at any time:
http://mirrors.jenkins-ci.org/status.html
The redirection is done on the web server, based on your geographic
location and maybe some other factors. So I don't know of a way to
override this -- as the Donation page on the wiki demonstrates, we like
serving files from mirrors as much as possible :)
Regards,
Chris
Is there a way to make your own local mirror, and point the updates to
that for cases where your working server doesn't have direct access?
--
Les Mikesell
lesmi...@gmail.com
On 06/10/11 22:03, Fabi wrote:
> We are trying todo this, but we have many problems. Is there a howto?
>
> 2011/9/27 Les Mikesell <lesmi...@gmail.com
> <mailto:lesmi...@gmail.com>>
>
> On Mon, Sep 26, 2011 at 5:33 PM, Christopher Orr <ch...@orr.me.uk
> <mailto:ch...@orr.me.uk>> wrote:
> >
> > The redirection is done on the web server, based on your
> geographic location
> > and maybe some other factors. So I don't know of a way to
> override this --
> > as the Donation page on the wiki demonstrates, we like serving
> files from
> > mirrors as much as possible :)
> >
>
> Is there a way to make your own local mirror, and point the updates to
> that for cases where your working server doesn't have direct access?
>
> --
> Les Mikesell
> lesmi...@gmail.com <mailto:lesmi...@gmail.com>
>
>