From e53b5cf9c344c1bceb16804cafb5828ea6e7f508 Mon Sep 17 00:00:00 2001 From: Siddharth Bhat Date: Sun, 8 Sep 2024 01:33:34 +0000 Subject: [PATCH 1/2] feat: bind /tmp/ to allow LeanSAT to create temp files --- server/bubblewrap.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/server/bubblewrap.sh b/server/bubblewrap.sh index 96d76523..9759ab86 100755 --- a/server/bubblewrap.sh +++ b/server/bubblewrap.sh @@ -12,6 +12,7 @@ if command -v bwrap >/dev/null 2>&1; then --ro-bind "$LEAN_ROOT" /lean \ --ro-bind /usr /usr \ --dev /dev \ + --bind /tmp/ /tmp/ \ --proc /proc \ --symlink usr/lib /lib\ --symlink usr/lib64 /lib64\ From 2cec60e9c4d82f1857bbb671854a8a532af89651 Mon Sep 17 00:00:00 2001 From: bollu Date: Thu, 19 Sep 2024 16:29:30 +0000 Subject: [PATCH 2/2] chore: use --tmpdir --- server/bubblewrap.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server/bubblewrap.sh b/server/bubblewrap.sh index 9759ab86..f36a7ea3 100755 --- a/server/bubblewrap.sh +++ b/server/bubblewrap.sh @@ -12,7 +12,7 @@ if command -v bwrap >/dev/null 2>&1; then --ro-bind "$LEAN_ROOT" /lean \ --ro-bind /usr /usr \ --dev /dev \ - --bind /tmp/ /tmp/ \ + --tmpfs /tmp \ --proc /proc \ --symlink usr/lib /lib\ --symlink usr/lib64 /lib64\