diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -1,7 +1,7 @@ # Maintainer: Igor Dyatlov <dyatlov.igor@protonmail.com> # Co-Maintainer: Mark Wagie <mark dot wagie at tutanota dot com> pkgname=gnome-shell-extension-rounded-window-corners-git -pkgver=9.r1.g2975f5f +pkgver=10.r5.g3617ed9 pkgrel=1 pkgdesc="A GNOME Shell extension that adds rounded corners for all windows" arch=('any') @@ -19,11 +19,20 @@ pkgver() { git describe --long --tags | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g' } +prepare() { + cd "$srcdir/rounded-window-corners" + + # fill_pot fails, skip for now + # https://github.com/yilozt/rounded-window-corners/issues/101 + sed -i 's/exports.po = series(gen_pot, fill_pot, compile_po)/exports.po = series(gen_pot, compile_po)/g' gulp/po.js +} + build() { cd "$srcdir/rounded-window-corners" yarn config set cache-folder "$srcdir/yarn-cache" yarn install yarn build +# yarn ext:pack pushd _build gnome-extensions pack \ |