"It was restarted 3 minutes ago" Wow, this finally fixed '?' references in PDF files (example <https://us.metamath.org/downloads/finiteaxiom.pdf>) which should've been fixed <https://github.com/metamath/metamath-website-scripts/issues/19> in June 2024. (archive from August 2025 <https://web.archive.org/web/20250801041609/https://us.metamath.org/downloads/finiteaxiom.pdf> ) It seems that nobody bothered to rebuild it since then, despite my comment in the pull request over one year ago.
[email protected] schrieb am Montag, 17. November 2025 um 08:56:07 UTC+1: > 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/012354a7-2ce9-43be-8978-719e4a30ca0an%40googlegroups.com.
