62f3457a95
UninstallExtensions() only returns whether the operation was successful, not why it failed. However we know that only user extensions can be uninstalled, so check that first to provide a more meaningful error. https://gitlab.gnome.org/GNOME/gnome-shell/issues/2391 |
||
---|---|---|
.. | ||
extensions-app | ||
extensions-tool | ||
gvc@ec5cf3e0de | ||
shew |