move static files to ./book

Author: quinn-dougherty

.github/workflows/deploy.yml

@@ -30,5 +30,5 @@ jobs:
           # Pull latest code on server
           ssh -i ~/.ssh/deploy_key $SERVER_USER@$SERVER_HOST "cd /home/quinn/cookbook && git pull origin master"
 
-          # Sync dependencies and restart service
+          # Copy static files and sync dependencies
           ssh -i ~/.ssh/deploy_key $SERVER_USER@$SERVER_HOST "cd /home/quinn/cookbook && /home/quinn/.local/bin/uv sync && sudo systemctl restart cookbook"

book/01-introduction/00-ch0.md

@@ -14,7 +14,7 @@ This is your reference of agent recipes for formal methods tasks. In this book,
 
 We also can't help but notice the pure math gold rush and the unapologetic absence of vision or business model that comes with it.
 
-```{figure} ./../../static/img/smbc.png
+```{figure} ./../static/img/smbc.png
 :name: fig-smbc-gold-rush
 :alt: SMBC comic about pure math gold rush
 

book/myst.yml

@@ -30,5 +30,5 @@ site:
   template: book-theme
   options:
     folders: true
-    favicon: ./../static/img/forall.ico
-    logo: ./../static/img/forall.svg
+    favicon: ./static/img/forall.ico
+    logo: ./static/img/forall.svg

static/img/forall.ico renamed to book/static/img/forall.ico

@@ -6,13 +6,11 @@ After=network.target
 Type=simple
 User=quinn
 WorkingDirectory=/home/quinn/cookbook/book
-ExecStart=/bin/bash -c 'fuser -k 3000/tcp 2>/dev/null || true; sleep 2; /home/quinn/.local/bin/uv run jupyter book start --port 3000'
+ExecStart=/home/quinn/.local/bin/uv run jupyter book start --port 3000
 Restart=always
 RestartSec=10
 StandardOutput=journal
 StandardError=journal
-KillMode=mixed
-KillSignal=SIGTERM
 
 [Install]
 WantedBy=multi-user.target