@Travis,
extensions.gnome.org is a third party, and is indeed not related to
ubuntu-meta, but the gnome-shell-extension-* packages from Artful archive are.
First priority is to install from the archive, and possibly add extra extension
from the url. Note that the path installation are not the same: url -> ./local/
, archive -> /usr/ ; so be sure to avoid conflict, and never upgrade an archive
extension from the url.
That report fails on logic, so set it as invalid.
** Changed in: ubuntu-meta (Ubuntu)
Status: New => Invalid
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1711768
Title:
Gnome shell menu extensions won't install on 17.10
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/ubuntu-meta/+bug/1711768/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
