diff options
Diffstat (limited to 'gnome-shell-extension-topicons-plus.install')
-rw-r--r-- | gnome-shell-extension-topicons-plus.install | 8 |
1 files changed, 0 insertions, 8 deletions
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 '' -} |