Files
Lawrence Angrave 73a0f1e976 site_deploy: bump the _coursebook pointer instead of only nudging
The website consumes the wiki through the _coursebook submodule and
updates it with --remote, so the SHA recorded in the site's tree never
affects what deploys. It had drifted months behind as a result, which is
a trap for anyone who runs a plain 'git submodule update' and then builds
a stale book.

The trigger commit this script already pushes is the natural place to fix
that: point the gitlink at the wiki commit push_to_wiki.sh just published,
so the recorded pointer matches reality at no extra cost. ls-remote plus
update-index writes the gitlink directly, so the shallow clone never has
to fetch the submodule.

Both steps are non-fatal. The push is what rebuilds the site, and under
'set -e' a transient ls-remote failure would otherwise skip it. The commit
keeps --allow-empty so an already-current pointer still triggers a build.
2026-08-26 14:00:32 -05:00
..
2018-11-09 16:50:16 -06:00
2019-07-23 12:45:36 -05:00
2019-07-23 10:53:37 -05:00
2019-07-23 14:20:57 -05:00

Scripts

  • __init__.py Init to make a python package
  • deploy.sh Script to run in travis deploy stage
  • script.sh Script to run in travis script stages
  • install.sh Script to run in travis install stage
  • gen_order.py Generates the latex order file from the yaml file
  • gen_wiki.py Generates a wiki given an order file and output directory
  • pandoc_header_filter.py Outputs a yaml block to stderr given the metadata of the file
  • pandoc_wiki_filter.py Filters a latex wiki page with additional add ons
  • push_to_wiki.sh Script to run in the push to wiki stage
  • site_cleanup.sh Script to clean up pushing to the site
  • site_deploy.sh Script to deploy to the site
  • site_retry.sh Script to retry