fix: clone if editor doesnt exist in script

Gilgamesh82 · Jul 17, 2024 · ab1a2ec · ab1a2ec
1 parent 38a7a47
commit ab1a2ec
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/scripts/editor.bash b/scripts/editor.bash
@@ -19,6 +19,9 @@ pnpm build:esbuild
 pnpm build:types
 
 # Clone the Mermaid Live Editor repository
+if [ ! -d "mermaid-live-editor" ]; then
+  git clone --single-branch https://github.com/mermaid-js/mermaid-live-editor.git
+fi
 cd mermaid-live-editor
 git clean -xdf
 rm -rf docs/