diff options
| author | Daniel Ruiz de Alegría | 2019-03-18 16:54:33 +0100 |
|---|---|---|
| committer | Daniel Ruiz de Alegría | 2019-03-18 16:54:33 +0100 |
| commit | 382fb4503c1dc258a9ad346659c3846a6a382664 (patch) | |
| tree | 7bc9afea25d580cc6e5170d6d0406447c1613adf | |
| parent | 234fcfb7ae07aef47012ea8cf1593ed96ee071a8 (diff) | |
| download | aur-382fb4503c1dc258a9ad346659c3846a6a382664.tar.gz | |
20190318
| -rw-r--r--[-rwxr-xr-x] | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 17 |
2 files changed, 4 insertions, 17 deletions
diff --git a/.SRCINFO b/.SRCINFO index 6e2a421187ee..b1686f030c74 100755..100644 --- a/.SRCINFO +++ b/.SRCINFO @@ -1,13 +1,13 @@ pkgbase = flat-remix-gnome pkgdesc = Flat Remix GNOME theme is a pretty simple shell theme inspired on material design following a modern design using "flat" colors with high contrasts and sharp borders. - pkgver = 20190227 + pkgver = 20190318 pkgrel = 1 url = https://drasite.com/flat-remix-gnome install = flat-remix-gnome.install arch = any license = CC-BY-SA-4.0 depends = gnome-shell - source = https://github.com/daniruiz/flat-remix-gnome/archive/20190227.tar.gz + source = https://github.com/daniruiz/flat-remix-gnome/archive/20190318.tar.gz sha256sums = SKIP pkgname = flat-remix-gnome @@ -1,7 +1,7 @@ # Maintainer: Daniel Ruiz de Alegría <daniel@drasite.com> pkgname="flat-remix-gnome" -pkgver=20190227 +pkgver=20190318 pkgrel=1 pkgdesc="Flat Remix GNOME theme is a pretty simple shell theme inspired on material design following a modern design using \"flat\" colors with high contrasts and sharp borders." arch=('any') @@ -14,18 +14,5 @@ sha256sums=('SKIP') package() { cd "${srcdir}/${pkgname}-${pkgver}/" - install -dm755 "${pkgdir}/usr/share/themes" - cp -a Flat-Remix* "${pkgdir}/usr/share/themes/" - install -dm755 "${pkgdir}/usr/share/gnome-shell/theme" - for theme in Flat-Remix* - do - ln -s "/usr/share/themes/${theme}/gnome-shell" "${pkgdir}/usr/share/gnome-shell/theme/${theme}" - done - install -dm755 "${pkgdir}/usr/share/gnome-shell/modes" - cp -a src/modes/* "${pkgdir}/usr/share/gnome-shell/modes/" - install -dm755 "${pkgdir}/usr/share/xsessions" - cp -a src/sessions/xsessions/* "${pkgdir}/usr/share/xsessions/" - install -dm755 "${pkgdir}/usr/share/wayland-sessions" - cp -a src/sessions/wayland-sessions/* "${pkgdir}/usr/share/wayland-sessions/" - install -Dm644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" + make install DESTDIR=${pkgdir} } |