Merge branch 'main' of github.com:berkeley-dsep-infra/ugr01-user-imag…

…e into octave

.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

.github/workflows/build-test-image.yaml

@@ -43,6 +43,7 @@ jobs:
           FORCE_REPO2DOCKER_VERSION: jupyter-repo2docker==2024.07.0
           REPO_DIR: /srv/repo
           NO_PUSH: true
+          APPENDIX_FILE: Dockerfile.appendix
 
       # Lets us monitor disks getting full as images get bigger over time
       - name: Show how much disk space is left

Dockerfile.appendix

@@ -0,0 +1,11 @@
+USER root
+
+# As requested in slack.
+# http://www.dcc.fc.up.pt/gtries/
+# https://github.com/ComplexNetworks-DCC-FCUP/gtrieScanner
+RUN wget -O /tmp/gtrieScanner.zip https://www.dcc.fc.up.pt/gtries/gtrieScanner_src_01.zip && \
+    unzip -d /tmp /tmp/gtrieScanner.zip && \
+    make -C /tmp/gtrieScanner_src_01 && \
+    install -o root -g root -m 0755 /tmp/gtrieScanner_src_01/gtrieScanner /usr/local/bin/
+
+USER $NB_USER

postBuild

@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
 
+set -e
+
 # installing chromium browser to enable webpdf conversion using nbconvert
 export PLAYWRIGHT_BROWSERS_PATH=${CONDA_DIR}
 playwright install chromium