From 0c0a7ab400abe0285e0767902c2accf7f6130aaf Mon Sep 17 00:00:00 2001
From: joneugster <eugster.jon@gmail.com>
Date: Tue, 28 Nov 2023 16:32:19 +0100
Subject: [PATCH] bubblewrap test

---
 server/bubblewrap.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/server/bubblewrap.sh b/server/bubblewrap.sh
index ce0d585..c4deee2 100755
--- a/server/bubblewrap.sh
+++ b/server/bubblewrap.sh
@@ -3,10 +3,10 @@
 ELAN_HOME=$(lake env printenv ELAN_HOME)
 
 (exec bwrap\
-  --ro-bind ../../lean4game /lean4game \
-  --ro-bind $1 /game \
-  --ro-bind $ELAN_HOME /elan \
-  --ro-bind /usr /usr \
+  --bind ../../lean4game /lean4game \
+  --bind $1 /game \
+  --bind $ELAN_HOME /elan \
+  --bind /usr /usr \
   --dev /dev \
   --proc /proc \
   --symlink usr/lib /lib\