fix bubblewrap script

3 years ago · 81073b24b8
parent 33068f1183
commit 81073b24b8
1 changed files with 1 additions and 1 deletions
--- a/server/bubblewrap.sh
+++ b/server/bubblewrap.sh
@ -4,7 +4,7 @@ ELAN_HOME=$(lake env printenv ELAN_HOME)

 (exec bwrap\
  --ro-bind ../../lean4game /lean4game \
-  --ro-bind ../../$1 /game \
+  --ro-bind $1 /game \
  --ro-bind $ELAN_HOME /elan \
  --ro-bind /usr /usr \
  --dev /dev \