File: make-zip.sh

package info (click to toggle)
gnome-shell-extension-gamemode 4-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 296 kB
  • sloc: sh: 63; python: 43; makefile: 34; xml: 25
file content (90 lines) | stat: -rwxr-xr-x 1,908 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
#!/bin/sh
set -e
# Largely inspired by Florian Müllner gnome-shell-extensions/export-zips.sh

for cmd in meson ninja jq; do
    if ! [ -x "$(command -v ${cmd})" ]; then
        echo "Need '${cmd}' command. Please install." >&2
        exit 1
    fi
done

builddir="build/"

srcdir=`dirname $0`
srcdir=`(cd $srcdir && pwd)`

# create temp env
builddir=`mktemp -p $srcdir -d _build.XXXXXX` || exit 1
installdir=`mktemp -p $srcdir -d _install.XXXXXX` || exit 1

# build the project
meson setup --prefix=$installdir $srcdir $builddir
ninja -C$builddir install

# extract names from metadata.json
uuid=`(jq -r .uuid "$builddir/metadata.json")`
name=`(jq -r '."extension-id"' "$builddir/metadata.json")`
schema=`(jq -r '."settings-schema"' "$builddir/metadata.json")`

if [ -z "$uuid" ];then
    echo "Could not read UUID from metadata. Aborting." >&2
    exit 1
fi

zipname="$uuid.shell-extension.zip"

rm -f "$srcdir/$zipname"

extensiondir=$installdir/share/gnome-shell/extensions/$uuid
schemadir=$installdir/share/glib-2.0/schemas
localedir=$installdir/share/locale

schema=$schemadir/$schema.gschema.xml

mkdir $extensiondir/schemas
cp $schema $extensiondir/schemas;
glib-compile-schemas $extensiondir/schemas

if [ -d $localedir ]; then
    cp -pr $localedir $extensiondir
fi

(cd $extensiondir && zip -rmq $srcdir/$zipname .)

rm -rf $builddir
rm -rf $installdir

# optional arguments

usage_error () {
    echo "usage: $0 [install]"
    exit 1
}

install () {
    extensionhome="${HOME}/.local/share/gnome-shell/extensions"
    targetdir="${extensionhome}/${uuid}"

    # remove old stuff
    rm -rf ${targetdir}

    # unzip to the target
    mkdir -p "${extensionhome}"
    unzip "${srcdir}/${zipname}" -d "${targetdir}"

    echo "${name} installed to ${targetdir}"
}

if [ "$#" -ge 1 ]; then
    case "$1" in
    install)
        install
        ;;
    *)
        usage_error
        ;;
    esac
fi