diff options
| author | Mark Wagie | 2022-08-08 09:47:58 -0600 |
|---|---|---|
| committer | Mark Wagie | 2022-08-08 09:47:58 -0600 |
| commit | 3d5a593383f4e25f748a97c92fa5ab661fb1e2a0 (patch) | |
| tree | 7c3d857e57d1e935078af678257e45a3d5755052 | |
| parent | a112fd85586c60bb5bc6bdeff3eb0c7be7112daf (diff) | |
| download | aur-3d5a593383f4e25f748a97c92fa5ab661fb1e2a0.tar.gz | |
stylesheet.css already packed by default
| -rw-r--r-- | .SRCINFO | 2 | ||||
| -rw-r--r-- | PKGBUILD | 13 |
2 files changed, 7 insertions, 8 deletions
@@ -1,6 +1,6 @@ pkgbase = gnome-shell-extension-rounded-window-corners-git pkgdesc = A GNOME Shell extension that adds rounded corners for all windows - pkgver = 4.r10.g508abee + pkgver = 4.r33.ge76dc9a pkgrel = 1 url = https://github.com/yilozt/rounded-window-corners arch = any @@ -1,7 +1,7 @@ # Maintainer: Igor Dyatlov <dyatlov.igor@protonmail.com> # Co-Maintainer: Mark Wagie <mark dot wagie at tutanota dot com> pkgname=gnome-shell-extension-rounded-window-corners-git -pkgver=4.r10.g508abee +pkgver=4.r33.ge76dc9a pkgrel=1 pkgdesc="A GNOME Shell extension that adds rounded corners for all windows" arch=('any') @@ -27,13 +27,12 @@ build() { pushd _build gnome-extensions pack \ - --extra-source=dbus \ - --extra-source=effect \ - --extra-source=manager \ - --extra-source=preferences \ - --extra-source=utils \ + --extra-source=dbus/ \ + --extra-source=effect/ \ + --extra-source=manager/ \ + --extra-source=preferences/ \ + --extra-source=utils/ \ --extra-source=app.js \ - --extra-source=stylesheet.css \ --extra-source=stylesheet-prefs.css \ --force popd |