Skip to content

Set longer timer and use real hostname

Willi Rath requested to merge update-docs-for-manual-setup into master

Addresses #21 (closed) and #41.

I've not proposed always using a real hostname for Jupyter. Not sure this is a good idea in general.

Merge request reports