From 0bb8ae15a8ff487df00bc27db67ffa2e587f0eea Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Fri, 14 Oct 2022 09:51:08 +0200 Subject: 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? --- bwrap-files/start.sh | 1 + 1 file changed, 1 insertion(+) 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 -- cgit v1.2.3