Some more details: $ gnome-extensions show ubuntu-d...@ubuntu.com ubuntu-d...@ubuntu.com 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/ubuntu-d...@ubuntu.com URL: https://micheleg.github.io/dash-to-dock/ Original author: mic...@gmail.com Version: 79 State: UNKNOWN
whereas: $ gnome-extensions show tiling-assist...@ubuntu.com Extension “tiling-assist...@ubuntu.com” 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 desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
