Added docker deployment setup, fixed bugs with directory listing parsing

Dockerfile

+FROM python:3.11-slim-bullseye
+WORKDIR /book
+RUN apt-get update && apt-get -y install git
+COPY requirements.txt requirements.txt
+RUN pip install -r requirements.txt
+CMD ["./docker.sh"]

book/thebe_lite/_static/sphinx-thebe.js

@@ -311,9 +311,9 @@ function override_pyodide_lookup(fs, server_path) {
           continue;
         }
 
-        // Find alls all the rows in the html with class="display-name" and a file with a .py extension in the text
+        // Find alls all the links with .py files in the directory listing
         // We cannot use DOMParser here since it's running inside a web worker: https://developer.mozilla.org/en-US/docs/Web/API/Web_Workers_API
-        const regex = /class=\"display-name\".*?\>\<.*?\>(.*?\.py)\<.*?\>/g;
+        const regex = /\<a href=\"(.*?\.py)\"\>(.*?\.py)\<.*?\>/g;
         regex.lastIndex = 0;
 
         for (const match of request.response.matchAll(regex)) {

build-lite.sh

@@ -31,6 +31,6 @@ fi
 # 7. cp: finally copies all files from the /book folder to /book/_build/html  
 find book/ -exec test -f {} \; -print | grep -v "^book/_.*\|.*\.\(md\|ipynb\)\|thebe_lite" | cut -c 6- | xargs -i sh -c 'echo "book/_build/html/{}" | grep -o "^.*/" | xargs -d "\n" mkdir -p; cp book/"{}" book/_build/html/"{}"'
 
-# Serves the files on port 8000, localhost (127.0.0.1:8000)
+# Serves the files on port 8000
 $python_command -m http.server 8000 --directory book/_build/html &
 

deploy-book.sh

+#!/bin/sh
+
+docker compose down
+docker compose up -d
+
+docker logs -f mude-book

docker-compose.yml

+services:
+  web:
+    container_name: mude-book
+    build: .
+    ports:
+      - "8000:8000"
+    volumes:
+      - type: bind
+        source: ./
+        target: /book
+    stdin_open: true 
+    tty: true

docker.sh

+#!/bin/sh
+
+./build-lite.sh
+
+bash

stop-deployment.sh

+#!/bin/sh
+docker compose down
+