Usage of refresh_page.sh

To refresh the jupyterbook just execute the shellscript.

./refresh_page.sh

Optional parameters

• -d: Decker options
  • force: forces update of Decker slides
  • none: skips update of Decker slides

If no option is set the script will ask how to proceed.