From 4e732d106af6413da25c5f53360cf6094899210e Mon Sep 17 00:00:00 2001 From: Ryan Lovett Date: Tue, 24 Sep 2024 13:28:38 -0700 Subject: [PATCH] Add repo2docker-action appendix. I chose the filename `Dockerfile.appendix` to reinforce the fact that the file should contain Dockerfile commands. There is also a convention for people to use filenames of the form `Dockerfile.dev`, `Dockerfile.prod`, etc. --- .github/workflows/build-push-image-commit.yaml | 1 + Dockerfile.appendix | 2 ++ 2 files changed, 3 insertions(+) create mode 100644 Dockerfile.appendix diff --git a/.github/workflows/build-push-image-commit.yaml b/.github/workflows/build-push-image-commit.yaml index b998620..9823973 100644 --- a/.github/workflows/build-push-image-commit.yaml +++ b/.github/workflows/build-push-image-commit.yaml @@ -58,6 +58,7 @@ jobs: # so all contents put in /home/jovyan are lost. This particularly prevents any 'start' script from # working, as it is needed in runtime. REPO_DIR: /srv/repo + APPENDIX_FILE: Dockerfile.appendix # Lets us monitor disks getting full as images get bigger over time - name: Show how much disk space is left diff --git a/Dockerfile.appendix b/Dockerfile.appendix new file mode 100644 index 0000000..039d2b6 --- /dev/null +++ b/Dockerfile.appendix @@ -0,0 +1,2 @@ +USER root +RUN ls -ld /usr/local/bin/