Also make sure CHANGELOG version is up-to-date

qsniyg · Oct 5, 2023 · 86f2b34 · 86f2b34
1 parent 7ad3dce
commit 86f2b34
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/tools/package_extension.sh b/tools/package_extension.sh
@@ -16,6 +16,7 @@ get_userscript_version() {
 USERVERSION=`get_userscript_version userscript.user.js`
 MANIFESTVERSION=`cat manifest.json | grep '"version": *"[0-9.]*", *$' | sed 's/.*"version": *"\([0-9.]*\)", *$/\1/g'`
 PACKAGEVERSION=`cat package.json | grep '"version": *"[0-9.]*", *$' | sed 's/.*"version": *"\([0-9.]*\)", *$/\1/g'`
+CHANGELOGVERSION=`cat CHANGELOG.txt | head -n1`
 
 if [ -z "$USERVERSION" -o -z "$MANIFESTVERSION" -o -z "$PACKAGEVERSION" ]; then
     echo Broken version regex
@@ -32,6 +33,11 @@ if [ "$USERVERSION" != "$PACKAGEVERSION" ]; then
     exit 1
 fi
 
+if [ "$USERVERSION" != "$CHANGELOGVERSION" ]; then
+    echo 'Conflicting versions (userscript and changelog)'
+    exit 1
+fi
+
 if [ ! -d "node_modules" ]; then
     npm install
 fi