Simon Li manics

Repository for testing https://github.com/manics/binderlite-builder

python traitlets2schema.py kubespawner KubeSpawner

Skipping get_pod_url
Skipping modify_pod_hook
Skipping options_from_form

Setup a Windows 10 VM with virt-install for AWS AMI

Based on https://gist.github.com/ilude/a083934402ee761c402b7ab3ae9bcda7 and https://docs.aws.amazon.com/vm-import/latest/userguide/vmie_prereqs.html

ISO_DIR=~/Downloads/packer
IMAGE_DIR=/var/lib/libvirt/images

WINDOWS_ISO=$ISO_DIR/19043.928.210409-1212.21h1_release_svc_refresh_CLIENTENTERPRISEEVAL_OEMRET_x64FRE_en-us.iso
VIRTIO_ISO=$ISO_DIR/virtio-win.iso

Running JupyterHub Dockerspawner with user-mode Podman

Tested with Vagrant box generic/ubuntu2004 (libvirt, 3.2.16)

Install Node, Podman, Python3

echo "deb https://download.opensuse.org/repositories/devel:/kubic:/libcontainers:/stable/xUbuntu_20.04/ /" | sudo tee /etc/apt/sources.list.d/devel:kubic:libcontainers:stable.list
curl -L https://download.opensuse.org/repositories/devel:/kubic:/libcontainers:/stable/xUbuntu_20.04/Release.key | sudo apt-key add -

JupyterHub in BinderHub

Moved to https://github.com/manics/jupyterhub-in-binderhub

	# make sure crypt module in use
	sudo modprobe dm-crypt

	# Find out which drive it was with the following command:
	sudo fdisk -l

	# You must mount /dev/sda3 myvolume
	# use cryptsetup, device is accessible under /dev/mapper/myvolume
	sudo cryptsetup luksOpen /dev/sde3 myvolume

	FROM mcr.microsoft.com/mssql/server:2019-latest

	USER root

	RUN apt-get update -y -q && \
	apt-get install -y -q \
	libgdiplus \
	unzip && \
	rm -rf /var/lib/apt/lists/*

	FROM condaforge/mambaforge:4.10.3-5

	RUN mamba install -y -q \
	`# https://github.com/jupyterhub/binderhub/blob/c131d73537628ba2f9a635ea63a36ef5e5a0e421/requirements.txt#L1-L20` \
	docker-py \
	escapism \
	jinja2 \
	jsonschema \
	jupyterhub \
	kubernetes \

	GITTER_TOKEN=<gitter personal access token>
	ROOM_NAME=<gitter room name>
	MESSAGE="Testing the Gitter API"

	USER_ID=$(curl -f -H "Accept: application/json" -H "Authorization: Bearer $GITTER_TOKEN" "https://api.gitter.im/v1/user/me" \| jq -r '.id')

	ROOM_ID=$(curl -f -X POST -H "Content-Type: application/json" -H "Accept: application/json" -H "Authorization: Bearer $GITTER_TOKEN" "https://api.gitter.im/v1/rooms" -d "{\"uri\":\"$ROOM_NAME\"}" \| jq -r '.id')

	# Join room
	curl -f -X POST -H "Content-Type: application/json" -H "Accept: application/json" -H "Authorization: Bearer $GITTER_TOKEN" "https://api.gitter.im/v1/user/$USER_ID/rooms" -d "{\"id\":\"$ROOM_ID\"}"