This extension is in an early stage of development. At the time of writing it includes binary .tar.gz files for Ubuntu v20 (focal), as this is what is running in the DL lab. To get going with this extension: ./INSTALL.sh Then: source ./SETUP.bash Finally, to run the MongoDB serer: ./RUN-MONGODB-START.sh And to (locally) connect to it: ./RUN-MONGOSH.sh [type 'quit' to close the client connection] To shutdown the server: ./RUN-MONGODB-STOP.sh