This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# | |
# NOTE: This script enables the JupterLab Extension Manager and installs extensions. | |
# There are code-execution risks with this, so make sure you only use trusted | |
# extensions and you're comfortable with these extensions before running! | |
# | |
# This script wrappers the JupterLab Docker container. It defines a few Docker volume | |
# mounts to ensure that JupyterLab configuration and notebooks are persisted between | |
# restarts. | |
# |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Where is this script on the system. | |
SCRIPT_PATH="$(dirname "${BASH_SOURCE[0]}")" | |
SCRIPT_DIR="$(realpath "${SCRIPT_PATH}")" | |
SCRIPT_LOG="${SCRIPT_DIR}/../../test-harness.log" | |
# There are subtle differences between macOS and Linux that need to be accounted for. | |
PLATFORM="$(uname -o)" | |
# Colours for easier reading. |