From 0bce3b514f876c0395e5f7fdbf8add544c124529 Mon Sep 17 00:00:00 2001 From: Sidharth Vinod Date: Mon, 31 May 2021 16:53:54 +0530 Subject: [PATCH] Don't rename worker --- bin/fix-path | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/fix-path b/bin/fix-path index dc22d604..6c0fdcc3 100755 --- a/bin/fix-path +++ b/bin/fix-path @@ -1,6 +1,6 @@ #!/bin/bash pushd ../docs -find ./ -type f -exec sed -i 's/service-worker.js/mermaid-live-editor\/service-worker.js/g' {} \; +# find ./ -type f -exec sed -i 's/service-worker.js/mermaid-live-editor\/service-worker.js/g' {} \; find ./ -type f -exec sed -i 's/manifest.json/\/mermaid-live-editor\/manifest.json/g' {} \; find ./ -type f -exec sed -i 's/favicon.png/\/mermaid-live-editor\/favicon.png/g' {} \; popd \ No newline at end of file