aboutsummaryrefslogtreecommitdiff
path: root/bwrap-files
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2022-10-14 09:51:08 +0200
committerTom Smeding <tom@tomsmeding.com>2022-10-14 09:51:08 +0200
commit0bb8ae15a8ff487df00bc27db67ffa2e587f0eea (patch)
treed018f7e0443f730ccab02ab3e4b0e856b9542cb2 /bwrap-files
parentcdc4a45d21353ebf9306bd8df83ec287ace7c0e4 (diff)
start.sh: mkdir /tmp
This solves an error that GHC can't create /tmp/ghc_4_0 or something. Not sure why I didn't get that before?
Diffstat (limited to 'bwrap-files')
-rwxr-xr-xbwrap-files/start.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/bwrap-files/start.sh b/bwrap-files/start.sh
index 31f55d1..08f3d7e 100755
--- a/bwrap-files/start.sh
+++ b/bwrap-files/start.sh
@@ -13,6 +13,7 @@ args=(
# Note: this --size option is implemented in
# https://github.com/containers/bubblewrap/pull/509
--size 10485760 --tmpfs /
+ --dir /tmp
--ro-bind "${chroot}/bin" /bin
--ro-bind "${chroot}/usr/bin" /usr/bin
--ro-bind "${chroot}/usr/lib" /usr/lib