fixing vscode devcontainer to use ghcr (#124)

Author: thirtytwobits

.devcontainer/Dockerfile

@@ -1,17 +1,21 @@
 {
-    "name": "Spec PDF build",
-    "dockerFile": "Dockerfile",
-    "settings": { 
-        "terminal.integrated.shell.linux": "/bin/bash"
+    "name": "LaTeX authoring and publishing environment",
+    "image": "ghcr.io/opencyphal/texer:te22.4.1",
+    "customizations": {
+        "vscode": {
+            "extensions": [
+                "James-Yu.latex-workshop",
+                "uavcan.dsdl",
+                "ban.spellright"
+            ]
+        }
     },
+    "forwardPorts": [41491],
+    "workspaceFolder": "/repo",
+    "workspaceMount": "source=${localWorkspaceFolder},target=/repo,type=bind,consistency=delegated",
     "mounts": [
-        "source=root-vscode-server,target=/root/.vscode-server/extensions,type=volume",
-        "source=root-vscode-server-insiders,target=/.vscode-server-insiders/extensions,type=volume",
+        "source=profile,target=/root,type=volume",
+        "target=/root/.vscode-server,type=volume"
     ],
-    "forwardPorts": [41491],
-    "extensions": [
-        "James-Yu.latex-workshop",
-        "uavcan.dsdl",
-        "ban.spellright"
-    ]
+    "postCreateCommand": "pip3 install pydsdl"
 }