Merge branch 'develop' into feat/4746_add_er_alias

scripts/editor.bash

@@ -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 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
+# Clone the Mermaid Live Editor repository
+rm -rf mermaid-live-editor
+git clone --single-branch https://github.com/mermaid-js/mermaid-live-editor.git
 
-# Link local mermaid to live editor
-npm link mermaid
+cd mermaid-live-editor
 
+# We have to use npm instead of yarn because it causes trouble in netlify
 # Install dependencies
-npm install --force
+npm install
+
+# Link local mermaid to live editor
+npm link ../packages/mermaid     
 
 # Force Build the site
 npm run build -- --force