Good news, I'm making progress on generating the Metamath website *without* us2.metamath.org. I'm not done yet, but progress is progress. Details below.
--- David A. Wheeler === DETAILS === Currently the metamath website is generated on the "us2.metamath.org" computer, then sent (via rsync) to the us.metamath.org public website. However, us2 is actually at Norm Megill's former home, and it's not fair to ask his former partner to keep that computer running indefinitely. I've been working to make it so the us.metamath.org computer (hosted on linode) will *generate* the website as well as *serving* it on the web. My plan is to re-run generation on a daily basis (as it is now), so all merged changes will show up within about a day. I've had trouble getting generation working at all. Norm wrote his scripts for his specific computer, and though there are comments, they omit some things. I made a number of fixes & changes to the script, and then untarred a metamathsite.tar.gz file into the "metamcthsite" directory, and it's finally starting to regenerate parts of the metamath site. It's now generating 132264 filesystem objects (files + directories) in "metamathsite". It's currently not correctly generating the PDFs using latex, even though latex is installed. I don't know why; I'm going to have to debug that. Also, I need to compare what it's generating vs. the real site, and fix any other problems. I expect that there *will* problems, but I don't know what they'll be. Still, before this weekend I hadn't managed to regenerate the website other than on us2, so this is a big step forward. After everything works, I'm sure we can do things to refine the scripts to be better/cleaner, but getting them working is the priority. Currently regeneration takes about 6 hours (using the cheapest Linode plan, which has only 1 relatively low-speed CPU). I estimate doing daily regeneration will cost an added ~$3/month for CPU costs. I'm *hoping* I won't need to also pay for more storage, but currently 93% of storage is being used, so that upgrade may be unavoidable. I plan to just pay for those costs myself for now, as well as the other costs (for hosting & DNS), though I may eventually send around my virtual hat :-). Daily regeneration has its negatives, but also its positives - it means the site contents are displayed *quickly*, and it works for those who don't enable JavaScript. Doing it all on a cloud system means that everything will keep working even if someone dies/becomes incapacitated/etc. -- 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/08440BFB-CB59-4FEA-9046-C8E761E15D87%40dwheeler.com.
