Jupyterlab

JupyterLab is an interactive programming notebook which lets you write and test code in a persistent web browser environment. Notebooks are useful for simple experiments, reproducible research, and easy sharing and collaboration.

Configure Jupyterlab

Run this on your Raspberry Pi
pi make jupyterlab config

Install Jupyterlab

Run this on the Raspberry Pi
pi make jupyterlab install wait

Add a new route on the sentry (droplet)

Run this on the Raspberry Pi
sentry make traefik config
(stdout)
? Traefik:
> Config
  Install (make install)
  Admin
  Exit (ESC)

? Traefik Configuration:
^ Entrypoints (including dashboard)
  TLS certificates and authorities
  Middleware (including sentry auth)
> Advanced Routing (Layer 7 / Layer 4 / WireGuard)
  Error page template
  Logging level
  Access logs

? Traefik routes
> Configure layer 7 TLS proxy
  Configure layer 4 TCP/UDP proxy
  Configure wireguard VPN

? Layer 7 TLS Proxy:
  List layer 7 ingress routes
> Add new layer 7 ingress route
  Remove layer 7 ingress routes
  Disable layer 7 TLS Proxy

Enter the public domain (SNI) for the route:

: jupyterlab.pi.example.com

Enter the destination IP address to forward to:

: 10.13.16.2

Enter the destination TCP port to forward to:

: 443

> Do you want to enable Proxy Protocol for this route? Yes

## Layer 7 TLS Proxy is ENABLED.
## Configured Layer 7 Routes:
Entrypoint                 Destination_address  Destination_port  Proxy_protocol
----------                 -------------------  ----------------  --------------
jupyterlab.pi.example.com  10.13.16.2           443               2

Press ESC three times to go back to the main menu, and re-install Traefik:

(stdout)
? Traefik:
  Config
> Install (make install)
  Admin
  Exit (ESC)

After installation, press ESC to quit the config tool.

Retrieve the login token

Run this on the Raspberry Pi
pi make jupyterlab token

Copy the token that is output to your clipboard:

(stdout)
xXxXxXxXxXxXxXxXxXxXxXxXxXxXxXxXxXxX

Open Jupyterlab

Open https://jupyterlab.pi.example.com in your web browser. Paste the login token, and optionally set a new password.