The scripts for setting up the basic environment are a bit out of date, e.g. how to configure the terminal options. Take the opportunity to upgrade the underlying Jupyter.
The scripts for setting up the basic environment are a bit out of date, e.g. how to configure the terminal options.
Take the opportunity to upgrade the underlying Jupyter.