Skip to content

Instantly share code, notes, and snippets.

@AndrewKvalheim

AndrewKvalheim/disabled-extensions-notification

Last active March 1, 2024 22:51
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save AndrewKvalheim/5d2811aa86bb3183b95195859288c873 to your computer and use it in GitHub Desktop.
Save AndrewKvalheim/5d2811aa86bb3183b95195859288c873 to your computer and use it in GitHub Desktop.
Download ZIP
Notification of automatically disabled GNOME Shell extensions
Raw
disabled-extensions-notification
#!/usr/bin/env bash
set -Eeuo pipefail
[[ "$(gsettings get org.gnome.shell disable-user-extensions)" == 'true' ]] || exit
case "$(notify-send --urgency 'critical' --icon 'extensions' \
'Extensions have been automatically disabled.' \
--action 'enable=Re-Enable' \
--action 'settings=Settings…')" \
in
'enable') gsettings set org.gnome.shell disable-user-extensions 'false';;
'settings') gnome-extensions-app & disown;;
esac
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment