diff options
| author | Maxim Andersson | 2017-01-31 19:17:42 +0100 |
|---|---|---|
| committer | Maxim Andersson | 2017-01-31 19:17:42 +0100 |
| commit | d44d3b6b2ab53d4ffde32afb93b8fcf06b422220 (patch) | |
| tree | ba6fbbb994f83d1e393362e7368812d7d9533ec8 /gnome-shell-extension-topicons-plus.install | |
| parent | e9e86d878cf87f4a1f1c7e5be85dfd7ef769806f (diff) | |
| download | aur-d44d3b6b2ab53d4ffde32afb93b8fcf06b422220.tar.gz | |
Update to 19-1
Diffstat (limited to 'gnome-shell-extension-topicons-plus.install')
| -rw-r--r-- | gnome-shell-extension-topicons-plus.install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnome-shell-extension-topicons-plus.install b/gnome-shell-extension-topicons-plus.install index 14363a51da8a..50f7f62f93d5 100644 --- a/gnome-shell-extension-topicons-plus.install +++ b/gnome-shell-extension-topicons-plus.install @@ -1,7 +1,7 @@ post_install() { echo '' echo '==> To enable TopIcons Plus:' - echo '==> Reload Gnome Shell with Alt-F2 r' + 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 '' |