From 32d178339044273a498d0b30d22db342b70314a0 Mon Sep 17 00:00:00 2001 From: Sidharth Vinod Date: Fri, 25 Aug 2023 08:22:24 +0530 Subject: [PATCH] chore: Update editor script Co-authored-by: Alois Klink --- scripts/{editor.sh => editor.bash} | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) rename scripts/{editor.sh => editor.bash} (84%) diff --git a/scripts/editor.sh b/scripts/editor.bash similarity index 84% rename from scripts/editor.sh rename to scripts/editor.bash index 1fd9a56f26..836353b13a 100755 --- a/scripts/editor.sh +++ b/scripts/editor.bash @@ -1,17 +1,18 @@ #!/usr/bin/env bash +set -euxo pipefail # We have to use npm instead of yarn because it causes trouble in netlify # Link local mermaid to npm -pushd packages/mermaid || exit +pushd packages/mermaid npm link -popd || exit +popd # Clone the Mermaid Live Editor repository git clone https://github.com/mermaid-js/mermaid-live-editor.git # Change to the repository directory -cd mermaid-live-editor || exit +cd mermaid-live-editor # Link local mermaid to live editor npm link mermaid