Last active
May 28, 2024 08:37
-
-
Save AndrewKvalheim/5d2811aa86bb3183b95195859288c873 to your computer and use it in GitHub Desktop.
Notification of automatically disabled GNOME Shell extensions
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/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