Add shell script to create extension file

digitalmethodsinitiative · Oct 2, 2023 · f6204cb · f6204cb
1 parent e1ac8bc
commit f6204cb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/create-zip.sh b/create-zip.sh
@@ -0,0 +1,5 @@
+#!/bin/zsh
+VERSION=$(grep '"version"' manifest.json | cut -d'"' -f 4);
+sed -I '' -E "s/\"version\": \"v[^\"]+\"/\"version\": \"v$VERSION\"/g" .zenodo.json
+sed -I '' -E "s/<span class=\"version\">v[^<]+<\/span>/<span class=\"version\">v$VERSION<\/span>/g" popup/interface.html
+zip -r zeeschuimer-v$VERSION.zip . -x "*.DS_Store" "__MACOSX" js/mitm.js js/ponyfill-2.0.2.js js/streamsaver-2.0.3.js js/webtorrent.min.js -x "*.git*" -x "*.idea*" -x "create-zip.sh" -x "*.zip" -x "*.xpi"