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.
> <
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
metamath+u...@googlegroups.com.
> To view this discussion on the web visit
>
https://groups.google.com/d/msgid/metamath/0B9C1D56-C042-41FE-BEE1-A3D0B7E94A26%40dwheeler.com.
>