From 23a38b0c454c49968a499f2a8364e8237db57c09 Mon Sep 17 00:00:00 2001 From: Simon Gardling Date: Fri, 11 Feb 2022 13:46:18 -0500 Subject: [PATCH] improve push script --- push.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/push.sh b/push.sh index 6f24274..a7c8503 100755 --- a/push.sh +++ b/push.sh @@ -4,8 +4,9 @@ set -e #kill script if error occurs wasm-pack build --target web --release rm -fr tmp | true #delete tmp folder if exists -mkdir tmp -cp -r pkg www tmp/ +mkdir tmp tmp/pkg tmp/www +cp -r pkg/integral_site_bg.wasm pkg/integral_site_bg.wasm.d.ts pkg/integral_site.d.ts pkg/integral_site.js tmp/pkg/ +cp www/bootstrap.js www/index.html www/index.js www/style.css tmp/www/ mv tmp/www/index.html tmp/ sed -i 's/style.css/www\/style.css/g' tmp/index.html