diff options
author | Mohammadreza Abdollahzadeh | 2018-05-20 20:51:14 +0430 |
---|---|---|
committer | Mohammadreza Abdollahzadeh | 2018-05-20 20:51:14 +0430 |
commit | 527969093f9081f23ba25ad82fb030275ccdacc5 (patch) | |
tree | c05c671213fa63638bb1ea285fb8494687ee6baa | |
parent | 4921086db66b0de3e430d1241237701fd10a8376 (diff) | |
download | aur-527969093f9081f23ba25ad82fb030275ccdacc5.tar.gz |
update to v9
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 4 | ||||
-rw-r--r-- | gnome-shell-extension.install | 13 | ||||
-rw-r--r-- | gnome-shell.install | 19 |
4 files changed, 18 insertions, 24 deletions
@@ -1,11 +1,11 @@ # Generated by mksrcinfo v8 -# Fri Jun 30 18:54:24 UTC 2017 +# Sun May 20 16:20:41 UTC 2018 pkgbase = gnome-shell-extension-radio-git pkgdesc = Gnome shell extension for listening to internet radio streams. - pkgver = 1.6.r6.g87e8cd3 + pkgver = 9.r2.gef0d36a pkgrel = 1 url = https://github.com/hslbck/gnome-shell-extension-radio - install = gnome-shell.install + install = gnome-shell-extension.install arch = any license = GPL makedepends = git @@ -1,7 +1,7 @@ # Maintainer: Mohammadreza Abdollahzadeh <morealaz at gmail dot com> pkgname=gnome-shell-extension-radio-git -pkgver=1.6.r6.g87e8cd3 +pkgver=9.r2.gef0d36a pkgrel=1 pkgdesc="Gnome shell extension for listening to internet radio streams." arch=(any) @@ -11,7 +11,7 @@ depends=('gnome-shell>=3.18' 'gst-plugins-bad' 'gst-plugins-good' 'gst-plugins-u makedepends=('git') provides=("${pkgname%-git}") conflicts=("${pkgname%-git}") -install=gnome-shell.install +install=gnome-shell-extension.install source=("${pkgname%-git}::git+https://github.com/hslbck/gnome-shell-extension-radio.git") sha256sums=('SKIP') diff --git a/gnome-shell-extension.install b/gnome-shell-extension.install new file mode 100644 index 000000000000..484bc1b03f77 --- /dev/null +++ b/gnome-shell-extension.install @@ -0,0 +1,13 @@ +post_install() { + echo "==> ****************************************************" + echo "==> Don't forget to Restart GNOME Shell ([Alt]+[F2], r)." + echo "==> ****************************************************" +} + +post_upgrade() { + post_install +} + +post_remove() { + post_install +} diff --git a/gnome-shell.install b/gnome-shell.install deleted file mode 100644 index fd1ccf6c4d79..000000000000 --- a/gnome-shell.install +++ /dev/null @@ -1,19 +0,0 @@ -post_install() { - instruct - echo "and enable the extension with gnome-tweak-tool." -} - -post_upgrade() { - instruct - echo "for the changes to have an effect." -} - -post_remove() { - instruct -} - -instruct() { - echo "Don't forget to restart GNOME Shell ([Alt]+[F2], r)" -} - -# vim: ts=2 sw=2 et: |