diff options
author | jonian | 2022-04-07 12:21:47 +0300 |
---|---|---|
committer | jonian | 2022-04-07 12:21:47 +0300 |
commit | 9555db4d290002c163ccdfeb6c4abca66c87f8ad (patch) | |
tree | e88d2513819da031da0f03c089a5caabccc4ca38 | |
parent | bdfe2baa710ff29d54dfb78600ca19617e12206a (diff) | |
download | aur-9555db4d290002c163ccdfeb6c4abca66c87f8ad.tar.gz |
add gnome-shell 42 in suported versions
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 5 |
2 files changed, 5 insertions, 2 deletions
@@ -1,7 +1,7 @@ pkgbase = gnome-shell-extension-clipboard-indicator pkgdesc = Adds a clipboard indicator to the top panel, and caches clipboard history pkgver = 39 - pkgrel = 1 + pkgrel = 2 url = https://github.com/Tudmotu/gnome-shell-extension-clipboard-indicator arch = any license = GPL @@ -2,7 +2,7 @@ pkgname=gnome-shell-extension-clipboard-indicator _uuid=("clipboard-indicator@tudmotu.com") pkgver=39 -pkgrel=1 +pkgrel=2 pkgdesc="Adds a clipboard indicator to the top panel, and caches clipboard history" arch=("any") url="https://github.com/Tudmotu/gnome-shell-extension-clipboard-indicator" @@ -19,5 +19,8 @@ package() { install -d "$pkgdir/usr/share/glib-2.0" \ && cp -a "$pkgdir/usr/share/gnome-shell/extensions/$_uuid/schemas" "$_" + # Remove in next version + sed -i '3 i\"42",' "$pkgdir/usr/share/gnome-shell/extensions/$_uuid/metadata.json" + rm -f "$pkgdir/usr/share/glib-2.0/schemas/gschemas.compiled" } |