diff options
| -rw-r--r-- | .SRCINFO | 3 | ||||
| -rw-r--r-- | PKGBUILD | 1 | ||||
| -rw-r--r-- | gnome-shell-extension-topicons-plus.install | 8 |
3 files changed, 1 insertions, 11 deletions
@@ -1,11 +1,10 @@ # Generated by mksrcinfo v8 -# Fri Mar 3 21:37:26 UTC 2017 +# Tue Sep 19 21:10:33 UTC 2017 pkgbase = gnome-shell-extension-topicons-plus pkgdesc = Moves legacy tray icons to the top panel pkgver = 20 pkgrel = 1 url = https://github.com/phocean/TopIcons-plus - install = gnome-shell-extension-topicons-plus.install arch = any license = GPL2 depends = gnome-shell @@ -8,7 +8,6 @@ arch=('any') url="https://github.com/phocean/TopIcons-plus" license=('GPL2') depends=('gnome-shell') -install=${pkgname}.install source=("https://github.com/phocean/TopIcons-plus/archive/v${pkgver}.tar.gz") sha256sums=('02ffe087b390b277ce3245b3db675977dad0ed5b6503d719e6e868d8a3082825') diff --git a/gnome-shell-extension-topicons-plus.install b/gnome-shell-extension-topicons-plus.install deleted file mode 100644 index 50f7f62f93d5..000000000000 --- a/gnome-shell-extension-topicons-plus.install +++ /dev/null @@ -1,8 +0,0 @@ -post_install() { - echo '' - echo '==> To enable TopIcons Plus:' - echo '==> Reload Gnome Shell with Alt-F2 r (on Xorg)' - echo '==> Enable it with the gnome-tweak-tool' - echo '==> or run "gnome-shell-extension-tool -e TopIcons@phocean.net"' - echo '' -} |