blob: f28173539c8fe66f72325bd0dee3c2c95ce275a4 (
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
|
# Maintainer: GrzegorzKozub <grzegorz.kozub@gmail.com>
pkgname=gnome-shell-extension-rounded-window-corners-reborn
pkgdesc='A GNOME Shell extension that adds rounded corners for all windows'
url='https://github.com/flexagoon/rounded-window-corners'
license=('GPL-3.0-or-later')
pkgver=14.06e7874
pkgrel=1
arch=('any')
depends=('gnome-shell')
source=("https://github.com/GrzegorzKozub/aur/raw/master/gnome-shell-extension-rounded-window-corners-reborn/rounded-window-corners@fxgn.shell-extension-${pkgver}.zip")
sha256sums=('cb36a3183c8ece9c44fbfa55acdb8e15ef3adf40b83218c0404794f8392de99c')
package() {
local uuid='rounded-window-corners@fxgn'
local extdir="${pkgdir}/usr/share/gnome-shell/extensions/${uuid}"
install -d ${extdir}
bsdtar -xvf "${uuid}.shell-extension-${pkgver}.zip" -C ${extdir} --no-same-owner
mv "${extdir}/locale" "${pkgdir}/usr/share/"
install -Dm644 \
"${extdir}/schemas/org.gnome.shell.extensions.rounded-window-corners-reborn.gschema.xml" \
-t "${pkgdir}/usr/share/glib-2.0/schemas/"
rm -rf "${extdir}/schemas/"
}
|