Benjamin Berg 91f41105d5 extensionSystem: Create a file to flag that extensions are being loaded ... When the extension system is loaded, create the gnome-shell-disable-extensions file in the users runtime directory. This file is automatically removed 60s later. The sole purpose of this file is to be consumed by the systemd units. If the file exists, the systemd units will disable extensions when the gnome-shell fails. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/858		2019-11-25 23:38:32 +01:00
..
extensionPrefs	cleanup: Use consistent brace style of blocks	2019-09-15 16:02:45 +02:00
gdm	loginDialog: Stop using deprecated actor property	2019-09-20 16:58:00 +00:00
misc	introspect: Fix whitelist check	2019-11-25 19:20:01 +00:00
perf	cleanup: Disambiguate assignments in arrow functions	2019-09-15 16:02:45 +02:00
portalHelper	cleanup: Mark globals used from other modules as exported	2019-07-24 00:28:45 +02:00
ui	extensionSystem: Create a file to flag that extensions are being loaded	2019-11-25 23:38:32 +01:00
js-resources.gresource.xml	accessibility: Add pointer accessibility support	2019-06-06 09:13:29 +02:00
meson.build	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml	build: Include params.js in portal-helper gresources	2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00