diff options
Diffstat (limited to 'gnome-shell-extension.install')
-rw-r--r-- | gnome-shell-extension.install | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/gnome-shell-extension.install b/gnome-shell-extension.install new file mode 100644 index 000000000000..071e836c8cfa --- /dev/null +++ b/gnome-shell-extension.install @@ -0,0 +1,29 @@ +post_install() { + instructions_install +} + +post_upgrade() { + instructions_upgrade +} + +instructions_install() { + # list enabled extensions + EXTENSION_LIST=$(gsettings get org.gnome.shell enabled-extensions | sed 's/^.\(.*\).$/\1/') + + # check if extension is already enabled + EXTENSION_ENABLED=$(echo ${EXTENSION_LIST} | grep 'PersianCalendar@oxygenws.com') + + if [ "$EXTENSION_ENABLED" = "" ] + then + # enable extension + gsettings set org.gnome.shell enabled-extensions "[${EXTENSION_LIST},'${EXTENSION_UUID}']" + fi + + echo "*** Restart GNOME Shell ([Alt]+[F2], r)." + echo "*** For more informations, see https://github.com/omid/Persian-Calendar-for-Gnome-Shell." +} + +instructions_upgrade() { + echo "*** Restart GNOME Shell ([Alt]+[F2], r)." + echo "*** For more informations, see https://github.com/omid/Persian-Calendar-for-Gnome-Shell." +} |