aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbwrap-files/start.sh5
1 files changed, 4 insertions, 1 deletions
diff --git a/bwrap-files/start.sh b/bwrap-files/start.sh
index 769eaea..31f55d1 100755
--- a/bwrap-files/start.sh
+++ b/bwrap-files/start.sh
@@ -9,7 +9,10 @@ ghcup_base=$(ghcup whereis basedir)
chroot="${filesdir}/ubuntu-base"
args=(
- --tmpfs /
+ # 10MiB disk
+ # Note: this --size option is implemented in
+ # https://github.com/containers/bubblewrap/pull/509
+ --size 10485760 --tmpfs /
--ro-bind "${chroot}/bin" /bin
--ro-bind "${chroot}/usr/bin" /usr/bin
--ro-bind "${chroot}/usr/lib" /usr/lib