If you are prepared to upload the static files for the site, I think https://netlify.com/ would be worth a look. I have three or four small public sites with them, and have only good things to say about them. Convenience, performance, and reliability have been very good from my point of view, and TLS is basically automatic.
Pricing is at https://www.netlify.com/pricing/. Scroll down just a little to see details. The metamath site is quite large, but I don't see any limitations on site size. The "free" plan includes 100GB per month at no charge. I don't know if you ever get busier than that. I would recommend using their command line tool to deploy. It appears to have smarts about not uploading files that have not changed, but I have no idea how effective that would be for Metamath. It definitely has abilities to let you preview a new version of a site before switching it to public status. Their service does include a CDN. What they do not provide is any kind of shell access. They support builds, but not arbitrary executables, so you would need to build elsewhere and upload to Netlify (using their command line tool). I'm glad to provide more info or help if you think it might be useful. Best regards, Cris On Sat, Jun 12, 2021 at 8:57 AM 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/CAOoe%3DW%2BaC1-nYKHsu17%3DANmNWoqo6DkfKf%3D%2BS51W9Sv8g97JmQ%40mail.gmail.com.
