Some more details: $ gnome-extensions show [email protected] [email protected] Name: Ubuntu Dock Description: A dock for the Gnome Shell, default Ubuntu experience. This extension is a modified version of Dash To Dock with different defaults. Dash To Dock can be installed to replace it and give more (but unsupported) configuration options. Path: /usr/share/gnome-shell/extensions/[email protected] URL: https://micheleg.github.io/dash-to-dock/ Original author: [email protected] Version: 79 State: UNKNOWN
whereas: $ gnome-extensions show [email protected] Extension “[email protected]” doesn’t exist -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-control-center in Ubuntu. https://bugs.launchpad.net/bugs/2017173 Title: Ubuntu desktop settings unavailable To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/2017173/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
