diff options
| author | Mark Wagie | 2023-08-19 13:33:08 -0600 |
|---|---|---|
| committer | Mark Wagie | 2023-08-19 13:33:08 -0600 |
| commit | 3fca399af6d17e43ad4d8fae77c2546a40d342c8 (patch) | |
| tree | d597d66de3b10afd7ad91dc8393d23e29318fb2a /PKGBUILD | |
| parent | 86d58adbad411f92fa0d5321ec3519233c846bdb (diff) | |
| download | aur-3fca399af6d17e43ad4d8fae77c2546a40d342c8.tar.gz | |
minor adjustments
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -3,7 +3,7 @@ pkgname=gnome-shell-extension-gnome-ui-tune-git _uuid=gnome-ui-tune@itstime.tech pkgver=1.7.3.r0.gc03e0e0 pkgrel=1 -pkgdesc="Tunes the overview UI of GNOME 40" +pkgdesc="Tunes GNOME Overview UI to make it more usable." arch=('any') url="https://github.com/axxapy/gnome-ui-tune" license=('GPL3') @@ -31,8 +31,7 @@ package() { bsdtar xvf "${_uuid}.shell-extension.zip" -C \ "$pkgdir/usr/share/gnome-shell/extensions/${_uuid}/" - cp -r "$pkgdir/usr/share/gnome-shell/extensions/${_uuid}/locale" "$pkgdir/usr/share/" - rm -rf "$pkgdir/usr/share/gnome-shell/extensions/${_uuid}/locale" + mv "$pkgdir/usr/share/gnome-shell/extensions/${_uuid}/locale" "$pkgdir/usr/share/" install -Dm644 schemas/org.gnome.shell.extensions.gnome-ui-tune.gschema.xml -t \ "$pkgdir/usr/share/glib-2.0/schemas" |