diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 352617d..7757217 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -1,4 +1,4 @@ -FROM ubuntu:latest +FROM debian:bookworm-slim # Install basic packages @@ -22,8 +22,8 @@ RUN tlmgr update --self --all RUN tlmgr install latexindent chktex # install inkscape (for tikz) and minted (for code highlighting) -RUN apt-get install -qy inkscape python3 python3-pip -RUN pip install pygments +RUN apt-get install -qy inkscape python3 python3-pip pipx +RUN pipx install pygments # C++ # Already installed GCC as part of build-essential diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 86043aa..789d354 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -1,5 +1,10 @@ { "image": "ghcr.io/oliverkillane/imperial-computing-notes-dev", + "features": { + "ghcr.io/devcontainers/features/common-utils:2": { + "version": "latest" + } + }, "customizations": { "vscode": { "settings": { diff --git a/.github/workflows/push-dev-image.yaml b/.github/workflows/push-dev-image.yaml index 2ca2b98..fa5f51e 100644 --- a/.github/workflows/push-dev-image.yaml +++ b/.github/workflows/push-dev-image.yaml @@ -5,7 +5,7 @@ on: branches: - enh/development-docker paths: - - '.devcontainer/**' + - '.devcontainer/Dockerfile' jobs: docker: @@ -13,6 +13,9 @@ jobs: steps: - name: Checkout uses: actions/checkout@v4 + with: + sparse-checkout: .devcontainer/Dockerfile + sparse-checkout-cone-mode: false - name: Set up Docker Buildx uses: docker/setup-buildx-action@v3 - name: Enrich Metadata diff --git a/README.md b/README.md index e89ad3d..9a35cb8 100644 --- a/README.md +++ b/README.md @@ -18,8 +18,3 @@ It is designed as an improvement in quality over the [second year repo](https:// ## How do I build this? ## [I want to contribute!](./.github/CONTRIBUTING.md) -## I've found a mistake! -Simply [add a new issue](https://github.com/OliverKillane/Imperial-Computing-Year-3-Notes/issues/new/choose) and attach the relevant labels. - -![Screenshot 2022-10-09 015053](https://user-images.githubusercontent.com/44177991/194732526-54cca108-9fa7-4b0e-a4af-b0baad625af9.png) -