GitHub/mermaid
1
0
Fork 0
mirror of https://github.com/mermaid-js/mermaid.git synced 2025-01-28 07:03:17 +08:00
Code Issues Projects Releases Wiki Activity

Force install

Browse Source
This commit is contained in:
Sidharth Vinod 2023-08-25 09:50:42 +05:30
parent 5f8f79fc3e
commit 08fe25a79e
No known key found for this signature in database
GPG Key ID: FB5CCD378D3907CD
1 changed files with 7 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
scripts/editor.bash
View File

@ -8,20 +8,16 @@ pushd packages/mermaid
npm link
popd
# Clone or update the Mermaid Live Editor repository
if [ ! -d "mermaid-live-editor" ]; then
# Clone the Mermaid Live Editor repository
rm -rf mermaid-live-editor
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
# Link local mermaid to live editor
npm link mermaid
# Install dependencies
npm install
npm install --force
# Force Build the site
npm run build -- --force
# Build the site
npm run build