Skip to content

extensionSystem: Remove "disable" file on shutdown

Florian Müllner requested to merge fmuellner/gnome-shell:disable-file into main

The file indicates to the systemd shutdown scripts that extensions should be disabled, so that extensions that crash the shell on startup cannot lock out the user indefinitely.

For that purpose, we create the file before initializing extensions, and remove it after 60 seconds. That generally works, because it's highly unlikely that a session genuinely ends within the first minute.

It's possible though (for example during developments or when running tests), so also remove the file when shutting down cleanly before the timeout.

Merge request reports