Keyboard shortcuts (#47)

Cleaned up language and added sketch constraints.

.devcontainer/Dockerfile

@@ -1,11 +1,10 @@
-FROM python:3.11.2-bullseye
+# https://github.com/devcontainers/images/tree/main/src/python
+FROM mcr.microsoft.com/devcontainers/python:3.11
 
 # Add sudo so setup.sh runs correctly
+# Also install developer convenience utilities
 RUN apt-get update && apt-get install -y sudo man vim less
 
-# Update pip
-# RUN pip install --upgrade pip
-
 # add build.sh alias to .bashrc
 # for some reason source is not a valid command, so use . instead
 ARG WORKSPACE

.devcontainer/devcontainer.json

@@ -18,6 +18,7 @@
 				"redhat.vscode-yaml",
 				"yzhang.markdown-all-in-one",
 				"ms-toolsai.jupyter",
+				"ms-python.black-formatter",
 				"ms-python.python"
 			]
 		}

.github/workflows/deploy-website.yaml

@@ -16,7 +16,7 @@ jobs:
       - name: Setup Python
         uses: actions/setup-python@v5
         with:
-          python-version: "3.11"
+          python-version: "3.12"
 
       - name: Install and Build
         run: |

.github/workflows/test-build.yaml

@@ -6,15 +6,15 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - name: Checkout
-        uses: actions/checkout@v3
+      - name: Checkout branch
+        uses: actions/checkout@v4
 
-      - name: Setup Python
+      - name: Setup python
         uses: actions/setup-python@v5
         with:
-          python-version: "3.11"
+          python-version: "3.12"
 
-      - name: Install and Build
+      - name: Install and build
         run: |
           bash setup.sh
           python3 -m build

.gitignore

@@ -194,8 +194,5 @@ poetry.toml
 
 # End of https://www.toptal.com/developers/gitignore/api/python,jupyternotebooks,visualstudiocode
 
-
-# Don't commit the rendered media files. Still want to keep any source
-# media files, though- only get rid of the "media" folder, which is where
-# manim renders to.
+# Don't commit the rendered media files
 media

.vscode/extensions.json

@@ -0,0 +1,10 @@
+{
+    "recommendations": [
+        "streetsidesoftware.code-spell-checker",
+        "redhat.vscode-yaml",
+        "yzhang.markdown-all-in-one",
+        "ms-python.black-formatter",
+        "ms-python.python",
+        "esbenp.prettier-vscode"
+    ]
+}

.vscode/settings.json

@@ -58,10 +58,9 @@
     ],
     "python.analysis.typeCheckingMode": "basic",
     "python.analysis.autoImportCompletions": true,
-    "python.defaultInterpreterPath": "/usr/local/bin/python",
+    "python.defaultInterpreterPath": "/usr/bin/python",
+    "python.languageServer": "Pylance",
     "[python]": {
-        "diffEditor.ignoreTrimWhitespace": false,
         "editor.defaultFormatter": "ms-python.black-formatter"
     },
-    "editor.formatOnSaveMode": "file"
 }

.vscode/tasks.json

@@ -3,9 +3,9 @@
     "tasks": [
         {
             "label": "build",
-            "detail": "Build the website.",
+            "detail": "Build the website",
             "type": "shell",
-            "command": "make html",
+            "command": "make clean && make html",
             "group": {
                 "kind": "build",
                 "isDefault": true
@@ -23,7 +23,7 @@
         },
         {
             "label": "open",
-            "detail": "Open the website.",
+            "detail": "Open the website",
             "type": "shell",
             "command": "python -m http.server",
             "isBackground": true,
@@ -41,7 +41,7 @@
         },
         {
             "label": "clean",
-            "detail": "Delete generated files.",
+            "detail": "Delete generated files",
             "type": "shell",
             "command": "make clean",
             "isBackground": false,