Maybe we should continue the discussion within this issue: https://github.com/OpenMath/OpenMath.github.io/issues/70
Best regards, Ken Von: Om <svcmathdoxm...@tue.nl> Gesendet: Dienstag, 20. Juni 2023 11:40 An: 'Paul Libbrecht' <p...@hoplahup.net>; 'David Carlisle' <dav...@nag.co.uk> Cc: 'om@openmath.org' <om@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 <svcmathdoxm...@tue.nl<mailto:svcmathdoxm...@tue.nl>> Gesendet: Dienstag, 20. Juni 2023 09:50 An: David Carlisle <dav...@nag.co.uk<mailto:dav...@nag.co.uk>> Cc: om@openmath.org<mailto:om@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, svcmathdoxm...@tue.nl<mailto:svcmathdoxm...@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
_______________________________________________ Om mailing list Om@openmath.org https://mailman.openmath.org/cgi-bin/mailman/listinfo/om
