search

metamath / metamath-website-scripts

Scripts to set up the metamath website(s) so they're under version control, can be reviewed, and can be rerun. The scripts download the seed files from metamath-website-seed, databases from set.mm, etc.
MIT License
2 stars 3 forks source link

changes to this repo have no effect #14

Open digama0 opened 1 year ago

digama0 commented 1 year ago

I found the cause of the issue in #9. It seems the regenerate-website.sh file in /home/generator is out of date and does not contain the modification in #9, because this file is created only in build-website.sh which means it is never updated after the VM is first installed.

david-a-wheeler commented 1 year ago

You can always rerun "build-website.sh", that script is intentionally written to be re-run at any time to force resetting of something.

david-a-wheeler commented 1 year ago

I logged into root@us.metamath.org and did:

git pull
./build-system.sh

That should update everything.

david-a-wheeler commented 1 year ago

BTW, that's the recommended way to do an update.