vincent/gnome-shell-extension-pop-shell-git
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

update schema and keybinding

Browse Source
This commit is contained in:
vincent 2020-11-22 09:22:52 +01:00
parent 10c7db4add
commit de871ab81d
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.SRCINFO
View File

@ -1,6 +1,6 @@
pkgbase = gnome-shell-extension-pop-shell-git pkgbase = gnome-shell-extension-pop-shell-git
pkgdesc = Pop Shell - Tiling window management in Gnome (WIP) pkgdesc = Pop Shell - Tiling window management in Gnome (WIP)
pkgver = r601.e1a9db9 pkgver = r611.b5ed270
pkgrel = 1 pkgrel = 1
url = https://github.com/pop-os/shell url = https://github.com/pop-os/shell
install = pop-shell.install install = pop-shell.install

7
PKGBUILD
View File

@ -1,7 +1,7 @@
# Maintainer: Vincent.Ducamps <aur@ducamps.win> # Maintainer: Vincent.Ducamps <aur@ducamps.win>
pkgname=gnome-shell-extension-pop-shell-git pkgname=gnome-shell-extension-pop-shell-git
pkgdesc="Pop Shell - Tiling window management in Gnome (WIP)" pkgdesc="Pop Shell - Tiling window management in Gnome (WIP)"
pkgver=r601.e1a9db9 pkgver=r611.b5ed270
pkgrel=1 pkgrel=1
_gitorg=pop-os _gitorg=pop-os
_gitname=shell _gitname=shell
@ -36,6 +36,11 @@ build() {
package() { package() {
cd "${srcdir}/${_dir}" cd "${srcdir}/${_dir}"
make DESTDIR="${pkgdir}/" install make DESTDIR="${pkgdir}/" install
install -Dm644 schemas/org.gnome.shell.extensions.pop-shell.gschema.xml -t \
"$pkgdir/usr/share/glib-2.0/schemas"
install -Dm644 keybindings/*.xml -t \
"$pkgdir/usr/share/gnome-control-center/keybindings"
install -Dm755 scripts/configure.sh "${pkgdir}/usr/share/gnome-shell/extensions/pop-shell@system76.com/scripts/configure.sh" install -Dm755 scripts/configure.sh "${pkgdir}/usr/share/gnome-shell/extensions/pop-shell@system76.com/scripts/configure.sh"
} }