diff options
| -rw-r--r-- | gnome-shell-extension.install | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gnome-shell-extension.install b/gnome-shell-extension.install index 484bc1b03f77..ace9ac409216 100644 --- a/gnome-shell-extension.install +++ b/gnome-shell-extension.install @@ -1,7 +1,9 @@ post_install() { - echo "==> ****************************************************" - echo "==> Don't forget to Restart GNOME Shell ([Alt]+[F2], r)." - echo "==> ****************************************************" + if [ $XDG_SESSION_TYPE == 'x11' ]; then + echo "==> ****************************************************" + echo "==> Don't forget to Restart GNOME Shell ([Alt]+[F2], r)." + echo "==> ****************************************************" + fi } post_upgrade() { |