extensions-app: Rename executable

We kept the old binary name when overhauling the tool for the Extensions
app to avoid unnecessary churn for packagers/distributors.

However we now have a reason to "free" the old name, so rename the binary
to match the (sub)project name.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1220
This commit is contained in:
Florian Müllner 2020-04-10 04:27:31 +02:00
parent 4336952822
commit 7b75e9f5ed
4 changed files with 3 additions and 3 deletions
subprojects/extensions-app

View File

@ -3,7 +3,7 @@
"runtime": "org.gnome.Platform", "runtime": "org.gnome.Platform",
"runtime-version": "master", "runtime-version": "master",
"sdk": "org.gnome.Sdk", "sdk": "org.gnome.Sdk",
"command": "gnome-shell-extension-prefs", "command": "gnome-extensions-app",
"tags": ["nightly"], "tags": ["nightly"],
"desktop-file-name-prefix": "(Nightly) ", "desktop-file-name-prefix": "(Nightly) ",
"finish-args": [ "finish-args": [

View File

@ -39,7 +39,7 @@ function toggleState(action) {
var Application = GObject.registerClass( var Application = GObject.registerClass(
class Application extends Gtk.Application { class Application extends Gtk.Application {
_init() { _init() {
GLib.set_prgname('gnome-shell-extension-prefs'); GLib.set_prgname('gnome-extensions-app');
super._init({ application_id: 'org.gnome.Extensions' }); super._init({ application_id: 'org.gnome.Extensions' });
} }

View File

@ -5,7 +5,7 @@ project('gnome-extensions-app',
) )
app_id = 'org.gnome.Extensions' app_id = 'org.gnome.Extensions'
prgname = 'gnome-shell-extension-prefs' prgname = 'gnome-extensions-app'
gnome = import('gnome') gnome = import('gnome')
i18n = import('i18n') i18n = import('i18n')