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.
