diff options
Diffstat (limited to '')
| -rw-r--r-- | data/org.gnome.Shell-disable-extensions.service | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/data/org.gnome.Shell-disable-extensions.service b/data/org.gnome.Shell-disable-extensions.service new file mode 100644 index 0000000..de91167 --- /dev/null +++ b/data/org.gnome.Shell-disable-extensions.service @@ -0,0 +1,15 @@ +[Unit] +Description=Disable GNOME Shell extensions after failure +# Note that this unit must not conflict with anything, and must +# be able to run in parallel with the gnome-session-shutdown.target. +DefaultDependencies=no + +# We want to disable extensions only if gnome-shell has flagged the extensions +# to be a likely cause of trouble. +ConditionPathExists=%t/gnome-shell-disable-extensions + +[Service] +Type=simple +# Disable extensions +ExecStart=gsettings set org.gnome.shell disable-user-extensions true +Restart=no |