> On Jan 2, 2023, at 11:26 PM, Mario Carneiro <[email protected]> wrote:
>
> I don't think the redirect would be that difficult, it is a one time apache
> configuration thing, possibly plus updates to the mirrors.
Correct. On the main website we actually use the nginx web server, not the
Apache web server,
but the basic principle is the same. We would just need to edit this file on
GitHub:
https://raw.githubusercontent.com/metamath/metamath-website-scripts/main/us.metamath.org
A quick intro to nginx rewrite rules is here:
<https://www.nginx.com/blog/creating-nginx-rewrite-rules/>
So we'd add a line like this:
rewrite ^/(...)gif/$ /$1uni last;
Then on the main website we'd log in and run "git pull; ./build-system.sh" to
do the update.
The mirrors would have to do their own config changes, we don't really control
that. Hopefully it wouldn't matter much.
--- David A. Wheeler
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/B09D37E8-03F0-4C60-841B-9A791D16C171%40dwheeler.com.
