diff options
| author | Marcus Behrendt | 2021-04-13 21:51:07 +0200 |
|---|---|---|
| committer | Marcus Behrendt | 2021-04-13 21:51:07 +0200 |
| commit | 519055e745befaa50990463dfb2a874d54d16e2f (patch) | |
| tree | 4f313b53843956ecef6b497f6077a17b44b2de55 | |
| parent | bfcda6196a53ddbfe0fa2cbe7a91e68716da2451 (diff) | |
| download | aur-gnome-shell-extension-remove-dropdown-arrows.tar.gz | |
enable use in gnome 40
| -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-remove-dropdown-arrows pkgdesc = Removes the dropdown arrows from the AppMenu and SystemMenu pkgver = 13 - pkgrel = 1 + pkgrel = 2 url = https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows install = gnome-shell-extension-remove-dropdown-arrows.install arch = any @@ -2,7 +2,7 @@ pkgname=gnome-shell-extension-remove-dropdown-arrows pkgver=13 -pkgrel=1 +pkgrel=2 pkgdesc="Removes the dropdown arrows from the AppMenu and SystemMenu" arch=('any') url="https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows" @@ -19,6 +19,9 @@ package() { install -Dm644 extension.js -t "${pkgdir}/usr/share/gnome-shell/extensions/${_uuid}" install -Dm644 metadata.json -t "${pkgdir}/usr/share/gnome-shell/extensions/${_uuid}" + + # Remove this line whe gnome 40 compatible version is released (if ever) + sed -i 's/"3.34"/"3.34", "40"/g' "${pkgdir}/usr/share/gnome-shell/extensions/${_uuid}/metadata.json" } # vim:set ts=2 sw=2 et: |