From 81073b24b8e2b5a291ed2c58e11f3e50313184d6 Mon Sep 17 00:00:00 2001
From: joneugster <eugster.jon@gmail.com>
Date: Mon, 27 Nov 2023 22:42:31 +0100
Subject: [PATCH] fix bubblewrap script

---
 server/bubblewrap.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/bubblewrap.sh b/server/bubblewrap.sh
index 7d3f10e..ce0d585 100755
--- 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 \