Commands

Commands

Docker

List docker elements

docker container ls -a
docker image ls -a
docker volume ls

Remove / delete all docker elements (be careful!)

docker rm $(docker ps -a -q)
docker rmi $(docker images -a -q)
docker system prune -a

Source: https://www.digitalocean.com/community/tutorials/how-to-remove-docker-images-containers-and-volumes

Build docker images / start docker container / access bash

Take a look into the scripts in the code repository:
https://github.com/dice-group/nbgraderutils

nbgrader import example

nbgrader db student import --db=sqlite:////home/nbgadmin/gradebook.db /full/path/to/file.csv

id,last_name,first_name
student2,Smith,Claudius
student1,Student1Last,Student1First