Fixed devcontainer start

OliverKillane · Sep 27, 2023 · 37b06d7 · 37b06d7
1 parent 484168b
commit 37b06d7
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 2 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -22,3 +22,5 @@ ENV PATH="${PATH}:/usr/local/texlive/${TL_VERSION}/bin/x86_64-linux"
 # Update packages and tlmgr
 RUN tlmgr init-usertree
 RUN tlmgr update --self --all
+
+CMD /usr/bin/bash
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,8 +1,11 @@
 {
-    "image": "ghcr.io/oliverkillane/imperial-computing-notes-dev:latest",
+    "image": "ghcr.io/oliverkillane/imperial-computing-notes-dev",
     "customizations": {
         "vscode": {
-            "extensions": []
+            "settings": {},
+            "extensions": [
+                "James-Yu.latex-workshop",
+            ]
         }
     },
     "mounts": [

diff --git a/.github/workflows/push-dev-image.yaml b/.github/workflows/push-dev-image.yaml
@@ -22,6 +22,8 @@ jobs:
             type=ref,event=branch
             type=ref,event=pr
             type=semver,pattern={{version}}
+          flavor: |
+            latest=auto
           labels: |
             org.opencontainers.image.description=A container for easy setup in developing the Imperial Computing Note project.
       - name: Login to GitHub Container Registry