Fixed devcontainer start

OliverKillane · Sep 27, 2023 · 3bf9ea3 · 3bf9ea3
1 parent 484168b
commit 3bf9ea3
Show file tree

Hide file tree

Showing 3 changed files with 30 additions and 6 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -11,6 +11,7 @@ RUN apt-get install -qy build-essential wget sudo
 RUN apt-get clean autoclean && apt-get autoremove -y
 RUN rm -rf /var/lib/{apt,dpkg,cache,log}/ /tmp/* /usr/local/texlive/${TL_VERSION}/*.log
 
+# LATEX:
 # Install basic texlive distribution
 RUN cd /tmp && \
     wget --directory-prefix /tmp ${TL_MIRROR} && \
@@ -22,3 +23,18 @@ 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
+
+# install inkscape
+RUN apt-get install inkscape
+
+# Cpp
+
+# Rust
+
+# Elixir
+
+# Python
+
+# TLA
+
+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:enh-development-docker",
     "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:
@@ -14,16 +16,19 @@ jobs:
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v3
       - name: Enrich Metadata
-        id: metadata
+        id: meta
         uses: docker/metadata-action@v5
         with:
           images: ghcr.io/oliverkillane/imperial-computing-notes-dev
           tags: |
             type=ref,event=branch
             type=ref,event=pr
             type=semver,pattern={{version}}
+          flavor: |
+            latest=true
           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:
@@ -36,7 +41,7 @@ jobs:
           context: .devcontainer
           push: true
           platforms: linux/amd64
-          tags: ${{ steps.metadata.outputs.tags }}
-          labels: ${{ steps.metadata.outputs.labels }}
+          tags: ${{ steps.meta.outputs.tags }}
+          labels: ${{ steps.meta.outputs.labels }}
           cache-from: type=gha
           cache-to: type=gha,mode=max