Public bug reported:
gnome-shell-extension-prefs doesn't need to exist. It only provides
wrapper scripts to launch org.gnome.Extensions from gnome-shell-common.
To further demonstrate the point, you don't even need 'gnome-shell-
extension-prefs' installed to launch the app:
gjs /usr/share/gnome-shell/org.gnome.Extensions
Is there a good reason why the desktop file and wrapper scripts exist in
a separate package to the app itself?
** Affects: gnome-shell (Ubuntu)
Importance: Undecided
Status: New
** Tags: jammy lunar
** Description changed:
gnome-shell-extension-prefs doesn't need to exist. It only provides
wrapper scripts to launch org.gnome.Extensions from gnome-shell-common.
So it's only logical they should be installed by default whenever gnome-
shell-common is.
+
+ To further demonstrate the point, you don't even need 'gnome-shell-
+ extension-prefs' installed to launch the app:
+
+ gjs /usr/share/gnome-shell/org.gnome.Extensions
** Tags added: jammy lunar
** Description changed:
gnome-shell-extension-prefs doesn't need to exist. It only provides
wrapper scripts to launch org.gnome.Extensions from gnome-shell-common.
- So it's only logical they should be installed by default whenever gnome-
- shell-common is.
To further demonstrate the point, you don't even need 'gnome-shell-
extension-prefs' installed to launch the app:
- gjs /usr/share/gnome-shell/org.gnome.Extensions
+ gjs /usr/share/gnome-shell/org.gnome.Extensions
+
+ Is there a good reason why the desktop file and wrapper scripts exist in
+ a separate package to the app itself?
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/2015049
Title:
gnome-shell-extension-prefs doesn't need to exist
Status in gnome-shell package in Ubuntu:
New
Bug description:
gnome-shell-extension-prefs doesn't need to exist. It only provides
wrapper scripts to launch org.gnome.Extensions from gnome-shell-
common.
To further demonstrate the point, you don't even need 'gnome-shell-
extension-prefs' installed to launch the app:
gjs /usr/share/gnome-shell/org.gnome.Extensions
Is there a good reason why the desktop file and wrapper scripts exist
in a separate package to the app itself?
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/2015049/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp