> On Jan 18, 2022, at 2:59 PM, 'Alexander van der Vekens' via Metamath > <[email protected]> wrote: > Forget about my remark about section 20.34.8.10 Goldbach's conjectures...
Okay, clearly there's been some checking, and I've learned more about Norm's setup, so I think we're ready to go. I have done some prep work on us2.metamath.org (using cd /opt/dts; mv 1 xxold; mv xxnew/ 1). I believe the main site us.metamath.org will begin, at 4:07am US Eastern Time tomorrow, to copy the updated generated website from us2.metamath.org to us.metamath.org using rsync. So by tomorrow midday US Eastern Time I *think* we'll have an updated site. This may not work correctly, so if it fails, please be kind as I try to figure out what the system is doing or not doing :-). My plan is to make things entirely depend on the GitHub files, so if you update a file, it should appear on us2.metamath.org within a day, and then on us.metamath.org not too long after that. We're not there yet, but that's a reasonable step. --- David A. Wheeler -- 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 on the web visit https://groups.google.com/d/msgid/metamath/F8B30B11-A5ED-4619-9B8E-850680965515%40dwheeler.com.
