diff options
| author | Mark Wagie | 2023-06-12 16:04:55 -0600 |
|---|---|---|
| committer | Mark Wagie | 2023-06-12 16:04:55 -0600 |
| commit | 86d58adbad411f92fa0d5321ec3519233c846bdb (patch) | |
| tree | c21c95bb7a2d0f745646b27bec36d401d9ec98d5 /PKGBUILD | |
| parent | 9ec8eb2fd85851e4aee45f64325982d0c0def7ea (diff) | |
| download | aur-86d58adbad411f92fa0d5321ec3519233c846bdb.tar.gz | |
Install locale to system directory
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 15 |
1 files changed, 9 insertions, 6 deletions
@@ -1,6 +1,7 @@ # Maintainer: Mark Wagie <mark dot wagie at proton dot me> pkgname=gnome-shell-extension-gnome-ui-tune-git -pkgver=1.7.2.r0.gb720e9c +_uuid=gnome-ui-tune@itstime.tech +pkgver=1.7.3.r0.gc03e0e0 pkgrel=1 pkgdesc="Tunes the overview UI of GNOME 40" arch=('any') @@ -26,14 +27,16 @@ build() { package() { cd $srcdir/gnome-ui-tune - _uuid='gnome-ui-tune@itstime.tech' + install -d "$pkgdir/usr/share/gnome-shell/extensions/${_uuid}" + bsdtar xvf "${_uuid}.shell-extension.zip" -C \ + "$pkgdir/usr/share/gnome-shell/extensions/${_uuid}/" - install -d "$pkgdir/usr/share/gnome-shell/extensions/$_uuid" - 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" install -Dm644 schemas/org.gnome.shell.extensions.gnome-ui-tune.gschema.xml -t \ "$pkgdir/usr/share/glib-2.0/schemas" + rm -rf "$pkgdir/usr/share/gnome-shell/extensions/${_uuid}/schemas/" - rm -rf "$pkgdir/usr/share/gnome-shell/extensions/$_uuid/schemas/" + rm "$pkgdir/usr/share/gnome-shell/extensions/${_uuid}/LICENSE" } |