diff options
Diffstat (limited to 'gnome-shell-extension.install')
| -rw-r--r-- | gnome-shell-extension.install | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gnome-shell-extension.install b/gnome-shell-extension.install index 3488506f6ca0..01faca69e344 100644 --- a/gnome-shell-extension.install +++ b/gnome-shell-extension.install @@ -1,9 +1,9 @@ post_install() { - echo " ______________________________________________________ " - echo "==> / \" - echo "==> | Don't forget to Restart GNOME Shell |" - echo "==> | (Alt+F2, type r) |" - echo " \______________________________________________________/" + echo " ______________________________________________________ " + echo " ==> / \\" + echo " ==> / Don't forget to Restart GNOME Shell \\" + echo " ==> \ (Alt+F2, type r) /" + echo " \______________________________________________________/" } post_upgrade() { |