brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
gnome-shell/subprojects/extensions-tool/src/meson.build

38 lines
912 B
Meson
Raw Normal View History

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 18:55:13 +02:00
config_h = configuration_data()
extensions-tool: Move to a subproject The gnome-extensions tool code is really independent from the rest of the code base, and could be used either as part of the gnome-shell build or as stand-alone project (for example for the extension-ci docker image). We can actually support both cases by moving the code to a subproject. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/877
2019-12-03 00:07:01 +01:00
config_h.set_quoted('GETTEXT_PACKAGE', package_name)
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 18:55:13 +02:00
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 21:37:07 +02: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 03:24:10 +02: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 21:37:07 +02:00
'command-disable.c',
'command-enable.c',
extensions-tool: Add info command We already support displaying extension details for the list command, so it's a logical extension to also support showing extension info for a particular extension (not least because the shell has a corresponding D-Bus method). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
2018-08-28 06:01:30 +02:00
'command-info.c',
extensions-tool: Add 'install' command The ability to install unaudited extensions directly from a zip file can be useful for testing and code review, so implement a corresponding command that complements the previously added 'pack' command. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
2018-09-04 01:41:55 +02:00
'command-install.c',
extensions-tool: Implement list command Seeing at a glance which extensions are installed is surely useful, so add a corresponding command. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
2018-08-27 05:34:27 +02:00
'command-list.c',
extensions-tool: Add new 'pack' command Extensions are uploaded to extensions.gnome.org as zip files that not only contain the extension sources, but also compiled GSettings schemas and message catalogues. To make this more convenient, add a corresponding command for creating an archive suitable for up- loading. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
2018-08-31 05:14:23 +02:00
'command-pack.c',
extensions-tool: Add 'prefs' command Easily launching an extension's preference dialog from the command line can be quicker than using a UI like Tweaks or the extension website, so add that functionality. https://gitlab.gnome.org/fmuellner/gnome-extensions-tool/merge_requests/2 https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
2019-01-11 12:03:17 +01:00
'command-prefs.c',
extensions-tool: Add 'reset' command Now that we allow to disable session mode extensions, it can be useful to reset an extension to its original state, that is disabled in the regular session, but possibly enabled via the session mode. Add a corresponding command. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
2019-07-24 15:18:59 +02:00
'command-reset.c',
extensions-tool: Add 'uninstall' command Uninstall is another action that can be useful from the command line, so expose that as well. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
2019-07-11 22:35:49 +02:00
'command-uninstall.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 21:37:07 +02:00
'main.c'
]
extensions-tool: Add template metadata When we allow users to choose between different templates, we should provide some context for each template to facilitate that choice. Add that metadata in the form of a .desktop file, which allows us to specify name and description, and is well supported by our translation infrastructure. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/812
2019-11-09 00:20:08 +01:00
subdir('templates')
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 03:24:10 +02:00
resources = gnome.compile_resources('resources',
'gnome-extensions-tool.gresource.xml',
extensions-tool: Add template metadata When we allow users to choose between different templates, we should provide some context for each template to facilitate that choice. Add that metadata in the form of a .desktop file, which allows us to specify name and description, and is well supported by our translation infrastructure. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/812
2019-11-09 00:20:08 +01:00
source_dir: ['.', meson.current_build_dir()],
dependencies: template_deps,
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 03:24:10 +02:00
)
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 18:55:13 +02: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 03:24:10 +02:00
sources, resources,
extensions-tool: Add new 'pack' command Extensions are uploaded to extensions.gnome.org as zip files that not only contain the extension sources, but also compiled GSettings schemas and message catalogues. To make this more convenient, add a corresponding command for creating an archive suitable for up- loading. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
2018-08-31 05:14:23 +02:00
dependencies: [gio_dep, gio_unix_dep, autoar_dep, json_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 18:55:13 +02:00
install: true
)
Reference in New Issue Copy Permalink