2022-02-24 21:32:21 -05:00
|
|
|
function disable-gnome-extensions ()
|
2022-02-24 21:20:39 -05:00
|
|
|
{
|
|
|
|
case "$1" in
|
2022-02-24 21:32:21 -05:00
|
|
|
true|on|yes)
|
|
|
|
echo "Disabling Gnome User Extensions"
|
|
|
|
gsettings set org.gnome.shell disable-user-extensions true
|
2022-02-24 21:20:39 -05:00
|
|
|
;;
|
2022-02-24 21:32:21 -05:00
|
|
|
false|off|no)
|
2022-02-24 21:20:39 -05:00
|
|
|
echo "Disabling Gnome User Extenions"
|
2022-02-24 21:32:21 -05:00
|
|
|
gsettings set org.gnome.shell disable-user-extensions false
|
2022-02-24 21:20:39 -05:00
|
|
|
;;
|
|
|
|
*)
|
2022-02-24 21:32:21 -05:00
|
|
|
echo "Disables GNOME Extensions - In case of emergency"
|
2022-02-24 21:20:39 -05:00
|
|
|
echo "Usage: $0 true|false"
|
|
|
|
;;
|
|
|
|
esac
|
|
|
|
}
|
|
|
|
|