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

[Wenzel, Ken]

Maybe we should continue the discussion within this issue:
https://github.com/OpenMath/OpenMath.github.io/issues/70

Best regards,
Ken

Von: Om <svcmathdoxmail at tue.nl>
Gesendet: Dienstag, 20. Juni 2023 11:40
An: 'Paul Libbrecht' <paul at hoplahup.net>; 'David Carlisle' <davidc at nag.co.uk>
Cc: 'om at openmath.org' <om at openmath.org>
Betreff: Re: [Om] Use w3id.org/openmath/ for redirections

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<mailto:svcmathdoxmail at tue.nl>>
Gesendet: Dienstag, 20. Juni 2023 09:50
An: David Carlisle <davidc at nag.co.uk<mailto:davidc at nag.co.uk>>
Cc: om at openmath.org<mailto: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/20230630/7dc10fee/attachment.htm>