Thank you for reporting this bug and helping to make Ubuntu better. Please report this bug to the GNOME Shell developers so that we can ensure it gets fixed correctly.
https://wiki.ubuntu.com/Bugs/Upstream/GNOME -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/853882 Title: gnome-shell-extension-tool crashed with NameError in __main__: name 'extensionjs_path' is not defined To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/853882/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
