#!/bin/bash

# Import the workspace into JupyterLab
# jupyter lab workspaces import binder/workspace.json
