Setup monitoring tool
- Collect statistics
Currently: crude crontab + script appending to a csv file-
#sessions and new sessions (actually number of running docker containers) -
memory used -
cpu -
disk free
-
-
Make the data available -
Display the data through a dashboard -
Exploit JupyterHub's metrics -
Use standard collection and dashboarding tool (e.g. prometheus + grafana)