[Om] Use w3id.org/openmath/ for redirections

[Wenzel, Ken]

Thanks for investigating this, Paul.

Nevertheless, can we register/use w3id.org/openmath to support content negotiation and redirects for different kinds of files?
An alternative - just for OpenMath RDF - would be to just register w3id.org/om-rdf for serving the RDF files.

Best regards,
Ken

Von: Om <svcmathdoxmail at tue.nl>
Gesendet: Dienstag, 20. Juni 2023 09:50
An: David Carlisle <davidc at nag.co.uk>
Cc: om at openmath.org
Betreff: Re: [Om] Use w3id.org/openmath/ for redirections


Well, but wget --recursive does follow it.

Paul

On 19 Jun 2023, at 12:20, svcmathdoxmail at tue.nl<mailto:svcmathdoxmail at tue.nl> wrote:

For example

https://openmath.org/cd/arith1.xhtml

in a browser shows a CD rendering (from https://openmath.org/cd/arith1) but

wget https://openmath.org/cd/arith1.xhtml

does not give you the CD html, just a small file with <meta http-equiv="refresh" content="0;url=arith1" /> which specifies the
redirect to a html agent
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om/attachments/20230620/e3ffd11d/attachment-0001.htm>