Fixed devcontainer start

OliverKillane · Sep 27, 2023 · 8a944a9 · 8a944a9
1 parent 484168b
commit 8a944a9
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 3 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
@@ -4,6 +4,8 @@ on:
   push:
     branches:
       - enh/development-docker
+    paths:
+      - '.devcontainer/**'
 
 jobs:
   docker:
@@ -22,8 +24,11 @@ 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.
+            org.opencontainers.image.description=A development image for the imperial computing notes
+            org.opencontainers.image.vendor=Imperial Computing Notes
       - name: Login to GitHub Container Registry
         uses: docker/login-action@v3
         with: