All: Does anyone have recommendations for a better hosting site for the main site us.metamath.org and/or for the build/staging site us2.metamath.org <http://us2.metamath.org/>? Personal experience (or close to it) preferred. Alternatively, warnings about “don’t do X” are also welcome. There are lots of hosting services, which makes selection more complicated :-).
Below is the background & requirements as I know them. In the end Norm decides, my goal is to give him a hand. --- David A. Wheeler =========== The “main” us.metamath.org <http://us.metamath.org/> site is currently hosted by site5.com <http://site5.com/>. I’ve learned from Norm that his current term with them expires soon on 7/29/2021. Now would be a good time to plan a change, because the current hosting service has serious limitations. The current us.metamath.org <http://us.metamath.org/> hosting service doesn’t allow ssh or rsync, and it doesn’t make it easy to support TLS/HTTPS (it *might* be possible but it’s not trivial). Those would be highly desired. For example, ideally we could just enable Let’s Encrypt and have TLS/HTTPS support. On the good side, the current hosting service doesn’t charge extra fees for extra network transfers. That’s important; everyone once in a while the site gets busy. Wherever it goes to should allow transfers without just shutting us off at N bytes. It might be great to enable Cloudflare’s free tier, or some other inexpensive CDN service. That would make transfers faster & cause less load. We’d need a service that’d work with that. I don’t think GitHub hosting would work. It’s a static site, but we have too much stuff :-). There are over 100K web pages generated from the *.mm files. I don’t have the numbers handy, but I believe the total site size exceeds the GitHub Pages maximum of 1GB https://docs.github.com/en/pages/getting-started-with-github-pages/about-github-pages <https://docs.github.com/en/pages/getting-started-with-github-pages/about-github-pages> ============= The “build/staging” site us2.metamath.org <http://us2.metamath.org/> is where the static files are currently rebuilt. That is currently at Norm’s house running Debian. There’s no rush to change it. However, eventually I’d like to see that somewhere outside a house, so that things can continue smoothly if something happens to his house or him. The site build on us2 takes around 4 to 5 hours, though I suspect that can be sped up without too much effort. In all cases cost matters. Any related suggestions (don’t do X) welcome! -- 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/0B9C1D56-C042-41FE-BEE1-A3D0B7E94A26%40dwheeler.com.
