Merge pull request #8 from ryanlovett/xdg-runtime-dir

Set XDG_RUNTIME_DIR.
berkeley-dsep-infra · Oct 4, 2024 · 75d5b06 · 75d5b06
2 parents c103515 + 2955cbf
commit 75d5b06
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Dockerfile.appendix b/Dockerfile.appendix
@@ -1,5 +1,12 @@
 USER root
 
+# xeus-octave complains when XDG_RUNTIME_DIR is not set.
+# We dynamically determine the UID, persist XDG_RUNTIME_DIR, and create the dir.
+RUN NB_USER_UID=$(id -u ${NB_USER}) && \
+    XDG_RUNTIME_DIR=/run/user/${NB_USER_UID} && \
+    echo "XDG_RUNTIME_DIR=/run/user/${NB_USER_UID}" >> /etc/environment && \
+    install -d -m 0700 -o ${NB_USER} -g ${NB_USER} ${XDG_RUNTIME_DIR}
+
 # As requested in slack.
 # http://www.dcc.fc.up.pt/gtries/
 # https://github.com/ComplexNetworks-DCC-FCUP/gtrieScanner