It's hosted on linode, yes. It's not entirely a static site, since it needs to be rebuilt periodically, but conceivably that could be done with GHA. (I also have some ideas to move more of the generation to server-side on request time to decrease the time and especially storage cost of regeneration.) Feel free to play with it, all of the sources to build the site are freely available at https://github.com/metamath/metamath-website-scripts and https://github.com/metamath/metamath-website-seed .
On Mon, Nov 17, 2025 at 8:50 AM Falcon Dai <[email protected]> wrote: > Oh no. I am happy to help. So the current site is hosted on linode (per > some of the comments in the linked file)? I wonder if it is worthwhile to > migrate it to GitHub hosting. It it is free to host a static site and quite > performant in my experience (not to mention that it saves efforts to > configure and maintain servers). > > On Friday, November 14, 2025 at 2:31:29 AM UTC-8 [email protected] wrote: > >> Apparently it didn't come back automatically, the script >> https://github.com/metamath/metamath-website-scripts/blob/main/build-system.sh >> needs work I guess. I rebooted it manually and the site is back up. >> >> On Fri, Nov 14, 2025 at 5:34 AM Mario Carneiro <[email protected]> wrote: >> >>> It was restarted 3 minutes ago, hopefully it should be back up >>> automatically within at most a few hours. >>> >>> On Fri, Nov 14, 2025 at 5:32 AM Cris Perdue <[email protected]> wrote: >>> >>>> The us.metamath.org website appears to be down. >>>> >>>> -Cris >>>> >>>> -- >>>> 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 visit >>>> https://groups.google.com/d/msgid/metamath/CAOoe%3DWK9PmANsb6PTKRtnf6uJEjuOQbGFPeo2mOM2ugtN5Z0JA%40mail.gmail.com >>>> <https://groups.google.com/d/msgid/metamath/CAOoe%3DWK9PmANsb6PTKRtnf6uJEjuOQbGFPeo2mOM2ugtN5Z0JA%40mail.gmail.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 visit > https://groups.google.com/d/msgid/metamath/a545e75b-3b3f-4419-a77a-127ca041e89en%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/a545e75b-3b3f-4419-a77a-127ca041e89en%40googlegroups.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 visit https://groups.google.com/d/msgid/metamath/CAFXXJSuN0zFV8HhmLFQfDbQwxCjiP1eWdZkroBy6_JDugav3-A%40mail.gmail.com.
