I would recommend Google Compute Engine - a bit of extra setup but you will get a lot more flexibility down the road and hopefully not too expensive either
I wasn't a big fan of Amazon's offering at the lower cost tiers, but your experience may vary. Happy to contribute to any hosting costs by the way. On Sat, Jun 12, 2021 at 7:57 PM David A. Wheeler <[email protected]> wrote: > 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? > 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 site is currently hosted by 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 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 > > ============= > > The “build/staging” site 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 > <https://groups.google.com/d/msgid/metamath/0B9C1D56-C042-41FE-BEE1-A3D0B7E94A26%40dwheeler.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/CAB_p%3Da-iV0cNw%3Dqm0S6QpLm%2BOA7vLBJ7g6%2Bc16a1kXMOx%3Df69A%40mail.gmail.com.
