note to myself: document docker usage somewhere ?
Build
docker build-t rsd-hackathon docker/
Launch (mounting everything, including the ssh agent, not duplicating the credentials/key files)
docker run -ti -v /home/msimonin/.iotlabrc:/home/jovyan/.iotlabrc \
-v /home/msimonin/.ssh:/home/jovyan/.ssh \
-v /home/msimonin/.python-grid5000.yaml:/home/jovyan/.python-grid5000.yaml \
-v $(pwd):/home/jovyan/work \
-v $SSH_AUTH_SOCK:$SSH_AUTH_SOCK \
-e SSH_AUTH_SOCK=$SSH_AUTH_SOCK \
--network host rsd-hackathon:latest jupyter-lab