Re: [Metamath] Website is down

I've been clicking stuff randomly for a while now, this is what I found: >From https://us.metamath.org/ the mmsolitaire.tar.gz , mpeuni.tar.gz , qleuni.tar.gz

Re: [Metamath] Website is down

We have one more test to go, tonight I will let it run on its own. Hopefully all the hotfixes for issues reported here will also be reflected in the updated script. There is also a bit of remaining cleanup to do re: images in set.mm repo. All the _frege_*.svg files are duplicated in seed/mpegif/,

Re: [Metamath] Website is down

>From my perspective Tirix website feels a bit "hidden" and "hard to reach", which I think it's a bit of a shame since how much potential it has. I would be happy to see it advertised more around. Il giorno mercoledì 25 ottobre 2023 alle 19:33:01 UTC+2 Metamath ha scritto: > I'm afraid tirix

Re: [Metamath] Website is down

I'm afraid tirix will have to fix that himself, I don't know where the source or hosting for that site is. (Although, I think it would be quite possible to integrate those pages into the main site now.) On Wed, Oct 25, 2023 at 1:30 PM Gino Giotto wrote: > From

Re: [Metamath] Website is down

>From https://us.metamath.org/mpeuni/bezout.html I click Structured version on the top right. That brings me to Tirix website. But from Tirix website clicking Unicode version or Nearby theorems

Re: [Metamath] Website is down

On Wed, Oct 25, 2023 at 1:14 PM Gino Giotto wrote: > Also, I don't know if it's just me, but if I click Recent proofs > which is in the first > box titled > *Metamath Proof Explorer* > from

Re: [Metamath] Website is down

Also, I don't know if it's just me, but if I click Recent proofs which is in the first box titled *Metamath Proof Explorer* from https://us.metamath.org/ then it says: This site can’t be reached

Re: [Metamath] Website is down

It seems there is supposed to be an image in https://us.metamath.org/mpeuni/mmset.html , where it says [image: The Floating Head of Wisdom says:]*Read this section carefully to learn how to follow a Metamath proof * Il giorno mercoledì 25 ottobre 2023 alle 18:36:19 UTC+2 Metamath ha

Re: [Metamath] Website is down

The images have been restored on the live site, and the corresponding changes to the repos are metamath-website-seed@39991733 and symbols@85edf428. On Wed, Oct 25, 2023 at 12:03 PM Discher, Samiro < samiro.disc...@rwth-aachen.de> wrote: > I also do not see the breakdown image. Maybe you didn't

Re: [Metamath] Website is down

The proof step picture is indeed misplaced (@BTernaryTau try clearing your cache), it seems it was placed in the symbols repo by mistake ( https://github.com/metamath/symbols/blob/main/symbols/_proofstep.gif). Same for _orange1circ.gif and _orange2circ.gif . These will probably have to be fixed

AW: [Metamath] Website is down

I also do not see the breakdown image. Maybe you didn't clear browser cache? Von: metamath@googlegroups.com im Auftrag von BTernary Tau Gesendet: Mittwoch, 25. Oktober 2023 17:58:02 An: Metamath Betreff: Re: [Metamath] Website is down I am able to see the

Re: [Metamath] Website is down

I am able to see the breakdown of a proof step image, as well as the circled orange number icons. On Wednesday, October 25, 2023 at 11:35:23 AM UTC-4 Metamath wrote: > It seems there are problems with pictures. For example in > https://us.metamath.org/mpeuni/mmset.html scrolling down a little

Re: [Metamath] Website is down

It seems there are problems with pictures. For example in https://us.metamath.org/mpeuni/mmset.html scrolling down a little there is the "Breakdown of a proof step. Credit: N. Megill 2003. Public Domain." that doesn't show. Il giorno mercoledì 25 ottobre 2023 alle 16:52:47 UTC+2 Metamath ha

Re: [Metamath] Website is down

Clicking around now.. * https://us.metamath.org/ileuni/mmil.html is up to date (missing theorems list goes to dvcn) for the first time in over a year. https://us.metamath.org/ilegif/mmil.html too. * https://us.metamath.org/mpeuni/mmset.html and https://us.metamath.org/mpegif/mmset.html

Re: [Metamath] Website is down

Crap, I deleted the site again. Sorry folks, it will be back in 3 hours. On Wed, Oct 25, 2023 at 4:54 AM Mario Carneiro wrote: > Oh, this is probably because the site build was done using the set.mm > branch from https://github.com/metamath/set.mm/pull/3524. I'll have to > rerun the whole thing

Re: [Metamath] Website is down

Oh, this is probably because the site build was done using the set.mm branch from https://github.com/metamath/set.mm/pull/3524. I'll have to rerun the whole thing to update the website with the latest stuff from the develop branch, which is probably a good test just to make sure that the last

Re: [Metamath] Website is down

Thanks! That page now loads Ok, even though "most recent" shows theorems from 24-Sep-2023. The link on the home page https://us.metamath.org/ still points tohttp://us2.metamath.org:88/mpeuni/mmrecent.html but that's a different issue. On 25/10/2023 10:10, Mario Carneiro wrote: should be fixed

Re: [Metamath] Website is down

should be fixed now On Wed, Oct 25, 2023 at 3:39 AM Thierry Arnoux wrote: > https://us.metamath.org/mpeuni/mmrecent.html > > Still throws a 404. > On 25/10/2023 09:33, Mario Carneiro wrote: > > Sorry about that, I chose the wrong time to test the new website build > process and the cron job

Re: [Metamath] Website is down

https://us.metamath.org/mpeuni/mmrecent.html Still throws a 404. On 25/10/2023 09:33, Mario Carneiro wrote: Sorry about that, I chose the wrong time to test the new website build process and the cron job started running in the middle of it, and unfortunately killing the cron job just made it

Re: [Metamath] Website is down

Sorry about that, I chose the wrong time to test the new website build process and the cron job started running in the middle of it, and unfortunately killing the cron job just made it copy an empty website to the live site. Things should be back up now. On that note, what is now up is the new

[Metamath] Website is down

https://us.metamath.org/ 403s, other pages 404. -- 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+unsubscr...@googlegroups.com. To view this discussion on