fix bubblewrap script

leanprover-community · Dec 16, 2023 · 1ec29c8 · 1ec29c8
1 parent 0119d04
commit 1ec29c8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/server/bubblewrap.sh b/server/bubblewrap.sh
@@ -1,6 +1,6 @@
 #/bin/bash
 
-ELAN_HOME=$(cd Webeditor && lake env printenv ELAN_HOME)
+ELAN_HOME=$(cd $1 && lake env printenv ELAN_HOME)
 
 (exec bwrap\
   --bind $1 /project \