From 08fe25a79e3d919589659467f4de7c7912870845 Mon Sep 17 00:00:00 2001
From: Sidharth Vinod <sidharthv96@gmail.com>
Date: Fri, 25 Aug 2023 09:50:42 +0530
Subject: [PATCH] Force install

---
 scripts/editor.bash | 18 +++++++-----------
 1 file changed, 7 insertions(+), 11 deletions(-)

diff --git a/scripts/editor.bash b/scripts/editor.bash
index ee7792672..5d9568c8b 100755
--- a/scripts/editor.bash
+++ b/scripts/editor.bash
@@ -8,20 +8,16 @@ 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
 
 # Install dependencies
-npm install
+npm install --force
+
+# Force Build the site
+npm run build -- --force
 
-# Build the site
-npm run build