blob: db8f1b5ad9b81fd37b5c0782fbe0410902af5d3e (
plain)
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
|
# Maintainer: lecyntho <tom dot wagner at campus dot tu minus berlin dot de>
# Contributor: smcdougall <simon at sjmcdougall dot com>
pkgname=gnome-shell-extension-multi-monitors-add-on-git
pkgver=20190511
pkgrel=1
pkgdesc="Updated for Gnome 3.32. Adds panels and thumbnails for additional monitors. Settings changes are applied in dynamic fashion, no restart needed."
arch=('any')
url="https://github.com/spin83/multi-monitors-add-on"
license=('GPL2')
depends=('gnome-shell')
makedepends=('git')
groups=('gnome-shell-extensions')
_gitroot="git://github.com/spin83/multi-monitors-add-on.git"
_gitname="multi-monitors-add-on"
build() {
cd "${srcdir}"
msg "Connecting to GIT server...."
if [ -d $_gitname ] ; then
cd $_gitname && git pull origin
msg "The local files are updated."
else
git clone $_gitroot $_gitname
fi
msg "GIT checkout done or server timeout"
}
package() {
uuid="multi-monitors-add-on@spin83"
cd "${srcdir}/${_gitname}"
install -Dm644 "${uuid}/schemas/org.gnome.shell.extensions.multi-monitors-add-on.gschema.xml" \
"${pkgdir}/usr/share/glib-2.0/schemas/org.gnome.shell.extensions.multi-monitors-add-on.gschema.xml"
install -dm644 "${pkgdir}/usr/share/gnome-shell/extensions/${uuid}/"
cp -a "${uuid}/" "${pkgdir}/usr/share/gnome-shell/extensions/"
rm -rf "${pkgdir}/usr/share/gnome-shell/extensions/${uuid}/schemas"
}
|