diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2022-10-14 09:51:08 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2022-10-14 09:51:08 +0200 |
| commit | 0bb8ae15a8ff487df00bc27db67ffa2e587f0eea (patch) | |
| tree | d018f7e0443f730ccab02ab3e4b0e856b9542cb2 /bwrap-files | |
| parent | cdc4a45d21353ebf9306bd8df83ec287ace7c0e4 (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-x | bwrap-files/start.sh | 1 |
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 |