marcel/mermaid
1
0
Fork 0
mirror of https://github.com/mermaid-js/mermaid.git synced 2025-09-18 23:09:49 +02:00
Code Issues Packages Projects Releases Wiki Activity

fix: live editor exists error

Browse Source
This commit is contained in:
Sidharth Vinod
2023-08-25 09:15:21 +05:30
parent f553fa5eb8
commit 5f8f79fc3e
1 changed files with 8 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
scripts/editor.bash
View File

@@ -8,11 +8,14 @@ pushd packages/mermaid
npm link npm link
popd popd
# Clone the Mermaid Live Editor repository # Clone or update the Mermaid Live Editor repository
git clone https://github.com/mermaid-js/mermaid-live-editor.git if [ ! -d "mermaid-live-editor" ]; then
git clone --single-branch https://github.com/mermaid-js/mermaid-live-editor.git
# Change to the repository directory cd mermaid-live-editor
cd mermaid-live-editor else
cd mermaid-live-editor
git pull
fi
# Link local mermaid to live editor # Link local mermaid to live editor
npm link mermaid npm link mermaid