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 /PKGBUILD | |
parent | a112fd85586c60bb5bc6bdeff3eb0c7be7112daf (diff) | |
download | aur-3d5a593383f4e25f748a97c92fa5ab661fb1e2a0.tar.gz |
stylesheet.css already packed by default
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 13 |
1 files changed, 6 insertions, 7 deletions
@@ -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 |