Notebooks are good for interactive learning, text files are good for collaborative editing → Notebooks are generated for text files
the gitlab repository is mirrored on github to allow Google colaboratory execution (and Azure ?), but files (i.e. hints and solutions) are note available on Google Colab ☹.
One can do !git clone https://github.com/bhugueney/test-notebooks-org-publish.git
to get the files (but in subdirectories) but they won't load anyway !…
So on google colab, you can only do !cat test-notebooks-org-publish/public/hints/exo_1-1.py
instead ☹.
- create config files https://mybinder.readthedocs.io/en/latest/config_files.html
- Decide how to generate URL for appmode for the Notebooks that should be app (quiz ?).
could have a sitemap entry function that would search for a string in the org file or better : a property.
https://mybinder.readthedocs.io/en/latest/howto/gh-actions-badges.html