build: Use gnome-extensions-tool for zipping up

The tool has a dedicated command for creating an extension bundle. It
knows how to handle translations and GSettings schemas, so we don't
have to.

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/114
This commit is contained in:
Florian Müllner
2020-04-10 21:05:11 +02:00
parent bce63d3168
commit 35427ed4f1
+4 -7
View File
@@ -22,15 +22,12 @@ for f in $extensiondir/*; do
schema=$schemadir/org.gnome.shell.extensions.$name.gschema.xml
cp $srcdir/NEWS $srcdir/COPYING $f
cp -r $localedir $f
sources=(NEWS COPYING $(cd $f; ls *.js))
if [ -f $schema ]; then
mkdir $f/schemas
cp $schema $f/schemas;
glib-compile-schemas $f/schemas
fi
[ -f $schema ] || unset schema
(cd $f && zip -rmq $srcdir/zip-files/$uuid.shell-extension.zip .)
gnome-extensions pack ${sources[@]/#/--extra-source=} --podir=$srcdir/po \
${schema:+--schema=$schema} --out-dir=$srcdir/zip-files $f
done
rm -rf $builddir