Currently the public metamath web pages are generated on us2.metamath.org, a computer in Norm's home, and then transferred to us.metamath.org (hosted by Linode) where most people see the results.
Susan Cass, Norm's partner, is currently paying for Linode hosting and providing a home for us2.metamath.org. However, she'd like someone else to pay for Linode hosting, and wants to transfer the work elsewhere (so she doesn't need to be responsible for it). She'd like that done preferably by mid-June 2022 or so. I think that's perfectly reasonable. I'll find out the cost of the Linode server, and I'm willing to help fund it. I may not be able to pay for it all, depend on its costs. If others are willing to contribute financially please let me/us know. In addition, does anyone have suggestions for how to replace us2.metamath.org to generate the website? I think it should be a cloud service so we aren't dependent on someone's home. One obvious option is to also move site generation to us.metamath.org on Linode. Then the site can be re-created each day, & then moved over to its public display, on the same machine. I don't know if that would significantly increase our Linode bill; does someone else know? If there are other reasonable options, please reply! There are many other ways to distribute information, but I think it's nice to have simple static HTML files, so I don't think we need to rewrite it all use dynamic generation. In any case, I think it'd be safer to switch computers first, and then consider massive changes to approach as a separate step. --- 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/0B163B4E-D5C8-4455-9599-C5FF768CAC62%40dwheeler.com.
