diff options
| author | XZS | 2016-07-20 15:53:57 +0200 |
|---|---|---|
| committer | XZS | 2016-07-20 15:53:57 +0200 |
| commit | eccc99916c855625194f3a27bf803449e0e8c741 (patch) | |
| tree | 72f9e4ed912280da4f27556603372fc9c34a818a | |
| parent | da1de0999ef1371311f60dcedad7042b0c0435ff (diff) | |
| download | aur-eccc99916c855625194f3a27bf803449e0e8c741.tar.gz | |
improve location metric
As an extension consists of both the metadata description and a
JavaScript entry point always named extension.js, searching for both
hardens the locating process against changes to the directory structure.
This does not change the contents of the built package, so the pkgver
stays unchanged.
| -rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -29,7 +29,7 @@ package() { } package_01_locate() { msg2 'Locating extension...' - cd "$(dirname $(find -name 'metadata.json' -print -quit))" + cd "$(find -name 'metadata.json' -execdir test -e extension.js \; -printf %h -quit)" extname=$(grep -Po '(?<="uuid": ")[^"]*' metadata.json) destdir="$pkgdir/usr/share/gnome-shell/extensions/$extname" } |