gnome-shell/src/extensions-tool/meson.build

config_h = configuration_data()
config_h.set_quoted('GETTEXT_PACKAGE', meson.project_name())
config_h.set_quoted('VERSION', meson.project_version())
config_h.set_quoted('LOCALEDIR', localedir)
config_h.set('HAVE_BIND_TEXTDOMAIN_CODESET', cc.has_function('bind_textdomain_codeset'))
configure_file(
  output: 'config.h',
  configuration: config_h,
)

sources = [
  'command-create.c',
  'command-disable.c',
  'command-enable.c',
  'main.c'
]

resources = gnome.compile_resources('resources',
  'gnome-extensions-tool.gresource.xml',
  source_dir: '.'
)

executable('gnome-extensions',
  sources, resources,
  dependencies: [gio_dep, gio_unix_dep],
  install: true
)
extensions-tool: Start import The gnome-extensions tool[0] was started as an external project, and provides a replacement for the existing gnome-shell-extension-tool. It was decided to ship the tool as part of the gnome-shell repository, so start importing it with its history into a subdir. [0] https://gitlab.gnome.org/fmuellner/gnome-extensions-tool https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234 2018-08-26 16:55:13 +00:00			`config_h = configuration_data()`
			`config_h.set_quoted('GETTEXT_PACKAGE', meson.project_name())`
			`config_h.set_quoted('VERSION', meson.project_version())`
			`config_h.set_quoted('LOCALEDIR', localedir)`
			`config_h.set('HAVE_BIND_TEXTDOMAIN_CODESET', cc.has_function('bind_textdomain_codeset'))`
			`configure_file(`
			`output: 'config.h',`
			`configuration: config_h,`
			`)`

extensions-tool: Implement enable/disable commands This replicates the most basic functionality of the existing gnome-shell-extension-tool, albeit using a git/gio/gsettings style command interface rather than plain options; this will allow us to implement more complex commands that have options on their own in the future. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234 2018-08-26 19:37:07 +00:00			`sources = [`
extensions-tool: Implement create command This implements more functionality of the existing tool and, as 'reload' is an unreliable feature that doesn't work more often than not, the last bit that we will replicate. The command follows the original for the most part, with the most important difference being the installed template, which doesn't provide any sample functionality and uses modern JS syntax. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234 2018-08-27 01:24:10 +00:00			`'command-create.c',`
extensions-tool: Implement enable/disable commands This replicates the most basic functionality of the existing gnome-shell-extension-tool, albeit using a git/gio/gsettings style command interface rather than plain options; this will allow us to implement more complex commands that have options on their own in the future. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234 2018-08-26 19:37:07 +00:00			`'command-disable.c',`
			`'command-enable.c',`
			`'main.c'`
			`]`

extensions-tool: Implement create command This implements more functionality of the existing tool and, as 'reload' is an unreliable feature that doesn't work more often than not, the last bit that we will replicate. The command follows the original for the most part, with the most important difference being the installed template, which doesn't provide any sample functionality and uses modern JS syntax. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234 2018-08-27 01:24:10 +00:00			`resources = gnome.compile_resources('resources',`
			`'gnome-extensions-tool.gresource.xml',`
			`source_dir: '.'`
			`)`

extensions-tool: Start import The gnome-extensions tool[0] was started as an external project, and provides a replacement for the existing gnome-shell-extension-tool. It was decided to ship the tool as part of the gnome-shell repository, so start importing it with its history into a subdir. [0] https://gitlab.gnome.org/fmuellner/gnome-extensions-tool https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234 2018-08-26 16:55:13 +00:00			`executable('gnome-extensions',`
extensions-tool: Implement create command This implements more functionality of the existing tool and, as 'reload' is an unreliable feature that doesn't work more often than not, the last bit that we will replicate. The command follows the original for the most part, with the most important difference being the installed template, which doesn't provide any sample functionality and uses modern JS syntax. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234 2018-08-27 01:24:10 +00:00			`sources, resources,`
			`dependencies: [gio_dep, gio_unix_dep],`
extensions-tool: Start import The gnome-extensions tool[0] was started as an external project, and provides a replacement for the existing gnome-shell-extension-tool. It was decided to ship the tool as part of the gnome-shell repository, so start importing it with its history into a subdir. [0] https://gitlab.gnome.org/fmuellner/gnome-extensions-tool https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234 2018-08-26 16:55:13 +00:00			`install: true`
			`)`