gnome-shell/js/prefs-resources.gresource.xml

<?xml version="1.0" encoding="UTF-8"?>
<gresources>
  <gresource prefix="/org/gnome/shell">
    <file>extensionPrefs/main.js</file>

    <file>misc/config.js</file>
    <file>misc/extensionUtils.js</file>
    <file>misc/fileUtils.js</file>
    <file>misc/params.js</file>
  </gresource>
</gresources>
build: Use dedicated resources for helper programs Using a single resource file for all JS sources saves a couple of build system instructions, but has some serious downsides: - bundling the entire shell code with the tools blows up their size unnecessarily - the tools are rebuilt unnecessarily for any shell code change Autotools was painful enough to let this slip, but with meson we don't have any excuses - using the actual dependencies speeds up the build a tiny bit and reduces the tools' sizes from over 2M to about 50k. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/192 2018-08-10 07:56:07 -04:00			`<?xml version="1.0" encoding="UTF-8"?>`
			`<gresources>`
			`<gresource prefix="/org/gnome/shell">`
			`<file>extensionPrefs/main.js</file>`

			`<file>misc/config.js</file>`
			`<file>misc/extensionUtils.js</file>`
			`<file>misc/fileUtils.js</file>`
			`<file>misc/params.js</file>`
			`</gresource>`
			`</gresources>`