From 3f5b3415ac1d15beccafc5be3f62a3d39de27557 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 14 Jun 2022 19:45:11 +0200
Subject: Limit disk usage

---
 bwrap-files/start.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3-70-g09d2