I don't think the redirect would be that difficult, it is a one time apache configuration thing, possibly plus updates to the mirrors.
On Mon, Jan 2, 2023 at 11:25 PM Jim Kingdon <[email protected]> wrote: > There are a lot of ideas on this thread which might be worth doing, but > the redirect from mpegif to mpeuni is the only which is in my mind a > (likely) prerequisite for retiring mpegif. Most of the others we could do > later if we find we wish we had them. > On 1/2/23 07:49, Samiro Discher wrote: > > Another issue that immediately comes to my mind is that in such case one > shouldn't invalidate old hyperlinks, > e.g. https://us.metamath.org/mpegif/id.html should be redirected to > https://us.metamath.org/mpeuni/id.html > in case the mpegif pages are removed. > > David A. Wheeler schrieb am Montag, 2. Januar 2023 um 16:42:35 UTC+1: > >> Should eliminate the GIF directories & just use Unicode? That is, for >> example, >> redirect all uses of <https://us.metamath.org/mpegif/> to >> <https://us.metamath.org/mpeuni/> ? >> >> I welcome comments/thoughts. A few notes are below. >> >> --- David A. Wheeler >> >> === >> >> The Metamath project has, for many years, generated HTML pages with >> embedded GIF images. >> For a very long time this was the only practical way for most people to >> read the results. >> However, today practically all web browsing systems support Unicode. >> We switched to Unicode as the default years ago. Many >> people's fonts didn't cover math symbols, but when we posted web fonts >> (my fault :-) ) >> that problem was basically solved. >> >> At this point I think the primary reason to keep GIF directories is to >> make copying text easier: >> https://us.metamath.org/mpeuni/mmset.html#textonly >> That's a perfectly valid use case, as long as people are actually doing >> it. >> I don't know how many people find that useful. >> >> Generating everything twice takes time, but that's not a big deal. >> It does create more opportunities for error & complicates our scripts. >> The big advantage of eliminating the GIF generation would be to save disk >> space. >> Because we generate everything twice, we use about double the disk space. >> Anyone can see our current disk space status by viewing this page: >> https://us.metamath.org/status.txt >> The main drive /dev/sda has 26G, with 1.3G available (95% used). >> We can pay for more space, but there's a jump in price. >> We should be fine for a long time as long as we keep log files limited in >> size, >> but any error in its configuration can cause problems (as illustrated >> recently). >> >> There may be other issues I'm not aware of. > > -- > 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/4d0b2379-fff3-4712-b43f-2a1ba194c13en%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/4d0b2379-fff3-4712-b43f-2a1ba194c13en%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > -- > 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/f420e0ce-f888-e26a-c8fc-32ed56a3c78d%40panix.com > <https://groups.google.com/d/msgid/metamath/f420e0ce-f888-e26a-c8fc-32ed56a3c78d%40panix.com?utm_medium=email&utm_source=footer> > . > -- 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/CAFXXJSs_tOkYp2zevO3xD0TfuYF_scOXkwG%3D9UPE5p3SUM1izQ%40mail.gmail.com.
