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.
