Skip to content

Instantly share code, notes, and snippets.

@AndrewKvalheim
Last active May 28, 2024 08:37
Show Gist options
  • Save AndrewKvalheim/5d2811aa86bb3183b95195859288c873 to your computer and use it in GitHub Desktop.
Save AndrewKvalheim/5d2811aa86bb3183b95195859288c873 to your computer and use it in GitHub Desktop.
Notification of automatically disabled GNOME Shell extensions
#!/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