Digitalocean (autobackup enabled) + Serverpilot.io (for auto-update/upgrade-security + auto-https). I use it for wordpress-hosting (behind free cloudflare): foolproof + zero maintenance. Don't do Google cloud: maintenance =/= (/) :) If you want to try DO+SP I think they give 2 free months or so (as a referral program), I'll check it. P.
On 6/12/21, 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 > <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. > -- 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/CAJJTU5r22OM_njK93PixGkyFRkOO3Y%3DaBJcyOqx6%2BmHwUAjxDw%40mail.gmail.com.
