Skip to content

Instantly share code, notes, and snippets.

View hcpadkins's full-sized avatar
💭
🐍

Peter Adkins hcpadkins

💭
🐍
View GitHub Profile
@hcpadkins
hcpadkins / helper.sh
Last active September 21, 2023 11:34
Logging helpers
# 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.
@hcpadkins
hcpadkins / jupyter.sh
Last active January 18, 2022 22:18
JupyterLab start-up helper
#!/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.
#