diff options
| author | Mark Wagie | 2022-09-09 08:07:51 -0600 |
|---|---|---|
| committer | Mark Wagie | 2022-09-09 08:07:51 -0600 |
| commit | 2130bbd4f31b1ce81c7236c0252dceae333c8768 (patch) | |
| tree | 9e0ad818a000bfdff29bd9d5780648a169451930 | |
| parent | 3d5a593383f4e25f748a97c92fa5ab661fb1e2a0 (diff) | |
| download | aur-2130bbd4f31b1ce81c7236c0252dceae333c8768.tar.gz | |
install locale file
| -rw-r--r-- | .SRCINFO | 2 | ||||
| -rw-r--r-- | PKGBUILD | 9 |
2 files changed, 7 insertions, 4 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.r33.ge76dc9a + pkgver = 6.r9.g4dd72c5 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.r33.ge76dc9a +pkgver=6.r9.g4dd72c5 pkgrel=1 pkgdesc="A GNOME Shell extension that adds rounded corners for all windows" arch=('any') @@ -32,7 +32,6 @@ build() { --extra-source=manager/ \ --extra-source=preferences/ \ --extra-source=utils/ \ - --extra-source=app.js \ --extra-source=stylesheet-prefs.css \ --force popd @@ -43,9 +42,13 @@ package() { local uuid=$(grep -Po '(?<="uuid": ")[^"]*' _build/metadata.json) install -d "$pkgdir/usr/share/gnome-shell/extensions/${uuid}" - bsdtar -xvf "_build/${uuid}.shell-extension.zip" -C "$pkgdir/usr/share/gnome-shell/extensions/${uuid}/" + bsdtar -xvf "_build/${uuid}.shell-extension.zip" -C \ + "$pkgdir/usr/share/gnome-shell/extensions/${uuid}/" install -Dm644 _build/schemas/org.gnome.shell.extensions.rounded-window-corners.gschema.xml -t \ "$pkgdir/usr/share/glib-2.0/schemas/" rm -rf "$pkgdir/usr/share/gnome-shell/extensions/${uuid}/schemas/" + + install -Dm644 "_build/locale/zh_CN/LC_MESSAGES/${uuid}.mo" -t \ + "$pkgdir/usr/share/locale/zh_CN/LC_MESSAGES/" } |