653e6c85bb
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
25 lines
472 B
Plaintext
25 lines
472 B
Plaintext
sources = [
|
|
'commands.h',
|
|
'command-create.c',
|
|
'command-disable.c',
|
|
'command-enable.c',
|
|
'command-info.c',
|
|
'command-install.c',
|
|
'command-list.c',
|
|
'command-pack.c',
|
|
'command-prefs.c',
|
|
'common.h',
|
|
'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, autoar_dep, json_dep],
|
|
install: true
|
|
)
|