mirrors
/
mermaid
mirror of https://github.com/mermaid-js/mermaid.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

chore: Update editor.bash to build latest version

This commit is contained in:
Sidharth Vinod 2023-08-25 10:04:53 +05:30
parent 6563a6ea26
commit 9dccf4d9c9
No known key found for this signature in database
GPG Key ID: FB5CCD378D3907CD
1 changed files with 9 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
scripts/editor.bash
View File

@ -1,28 +1,20 @@
#!/usr/bin/env bash
set -euxo pipefail
# We have to use npm instead of yarn because it causes trouble in netlify
pnpm build
# Link local mermaid to npm
pushd packages/mermaid
npm link
popd
# Clone the Mermaid Live Editor repository
rm -rf mermaid-live-editor
git clone --single-branch https://github.com/mermaid-js/mermaid-live-editor.git
# Clone or update the Mermaid Live Editor repository
if [ ! -d "mermaid-live-editor" ]; then
git clone --single-branch https://github.com/mermaid-js/mermaid-live-editor.git
cd mermaid-live-editor
else
cd mermaid-live-editor
git pull
fi
cd mermaid-live-editor
# We have to use npm instead of yarn because it causes trouble in netlify
# Install dependencies
npm install
# Link local mermaid to live editor
npm link mermaid
# Install dependencies
npm install --force
npm link ../packages/mermaid
# Force Build the site
npm run build -- --force