bubblewrap test

1 year ago · 0c0a7ab400
parent dfb2f10219
commit 0c0a7ab400
1 changed files with 4 additions and 4 deletions
--- 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 \
+  --bind ../../lean4game /lean4game \
-  --ro-bind $1 /game \
+  --bind $1 /game \
-  --ro-bind $ELAN_HOME /elan \
+  --bind $ELAN_HOME /elan \
-  --ro-bind /usr /usr \
+  --bind /usr /usr \
  --dev /dev \
  --proc /proc \
  --symlink usr/lib /lib\