diff options
author | Julian Xhokaxhiu | 2019-03-02 21:03:50 +0100 |
---|---|---|
committer | Julian Xhokaxhiu | 2019-03-02 21:03:50 +0100 |
commit | df1e40cda45e45d82b47b5140364a2811a5add7e (patch) | |
tree | cbdc11ad300ce31560b0689a92a5e1330c308a11 | |
parent | f094065f41f1dc8ba523bce78c42ee53ed4300bd (diff) | |
download | aur-df1e40cda45e45d82b47b5140364a2811a5add7e.tar.gz |
Alert only if running X11
-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() { |