1 |
On 05 Apr 2015 22:02, Brian Dolbec wrote: |
2 |
> On Sat, 4 Apr 2015 23:31:25 -0700 Zac Medico wrote: |
3 |
> > The old http uri redirects to the new https uri, so use the new https |
4 |
> > uri directly. |
5 |
> > |
6 |
> > X-Gentoo-Bug: 469888 |
7 |
> > X-Gentoo-Bug-URL: https://bugs.gentoo.org/show_bug.cgi?id=469888 |
8 |
> > --- |
9 |
> > bin/repoman | 2 +- |
10 |
> > 1 file changed, 1 insertion(+), 1 deletion(-) |
11 |
> > |
12 |
> > diff --git a/bin/repoman b/bin/repoman |
13 |
> > index 7101a00..6074c91 100755 |
14 |
> > --- a/bin/repoman |
15 |
> > +++ b/bin/repoman |
16 |
> > @@ -503,7 +503,7 @@ metadata_xml_encoding = 'UTF-8' |
17 |
> > metadata_xml_declaration = '<?xml version="1.0" encoding="%s"?>' % \ |
18 |
> > (metadata_xml_encoding,) |
19 |
> > metadata_doctype_name = 'pkgmetadata' |
20 |
> > -metadata_dtd_uri = 'http://www.gentoo.org/dtd/metadata.dtd' |
21 |
> > +metadata_dtd_uri = 'https://www.gentoo.org/dtd/metadata.dtd' |
22 |
> > # force refetch if the local copy creation time is older than this |
23 |
> > metadata_dtd_ctime_interval = 60 * 60 * 24 * 7 # 7 days |
24 |
> |
25 |
> Hmm, I thought that was being moved to api.gentoo.org. I just checked |
26 |
> and it isn't there... |
27 |
> |
28 |
> I want to verify that it isn't destined there in the very near future. |
29 |
|
30 |
even if it moves, the old location has to stick around forever, although it too |
31 |
would become a redirect to api.g.o ... |
32 |
-mike |