Add collaborative jupyter lab

docker/web/Caddyfile

@@ -17,3 +17,10 @@ codi.pbrinkmeier.de {
 git.pbrinkmeier.de {
     reverse_proxy gitlab:80
 }
+
+jupyter.pbrinkmeier.de {
+    reverse_proxy jupyter:8888
+    basicauth {
+        wug JDJhJDE0JEJrQXUzVWxFZ2JGVmx6YlZWTkpYdy5IMjRXdnZZdGw5SjZDcUg2ZWMxOEVjcEV6dWhIRmhD
+    }
+}

docker/web/README.md

@@ -1,3 +1,7 @@
 # web
 
-Contains stuff exposed via HTTP(S) to the Internet, e.g. personal website, Wiki, etc.
+Contains stuff exposed via HTTP(S) to the Internet, e.g. personal website, Wiki, etc.
+
+## Jupyter
+
+The Docker image for Jupyter is built using Nix. That process is not part of the Ansible setup (yet).

docker/web/docker-compose.yaml

@@ -78,6 +78,17 @@ services:
         nginx['listen_port'] = 80
         nginx['listen_https'] = false
 
+  jupyter:
+    image: ihaskell-docker:1.0
+    # ports:
+    #   - "8888:8888"
+    user: "42000" # Jupyter user UID (jupyter does not exist in container (TODO...))
+    environment:
+      HOME: /Notebooks
+    volumes:
+      - /home/jupyter/Notebooks:/Notebooks
+    restart: always
+
 volumes:
   caddy_data:
   caddy_config: