Closed Arritmic closed 3 years ago
Thanks for the suggestion. I've changed the text a little bit. The unzip command was specific to a certain name of the ZIP. Also, I expect anyone not wanting to use the GNOME extensions website to know how to create the directory and extract the ZIP to it.
You included the gnome-extensions enable
command. Is this really necessary? Are new extensions not enabled by default? If not, we can include the command again.
You included the gnome-extensions enable command. Is this really necessary? Are new extensions not enabled by default? Exactly, Once I placed your extension in the folder for extensions, I must to enable it in that way in my Ubuntu 20.04.
Formerly, one used gnome-shell-extension-tool -e wsmatrix@martin.zurowietz.de
, but it is deprecated (gnome-shell-extension-tool is deprecated, use gnome-extensions instead
).
Ok but isn't the extension enabled by default without having to run the command?
No, in my case, at least. I followed your instructions and it did not recognized the extension until I run that command.
But also in my case, I could not find the extension using the Ubuntu Software. See in the next images the result in my Ubuntu 18.04 and the result in my Ubuntu 20.04.
Alright, I have updated the text again. Are you ok with this?
I don't know what happened with the Software Center. Maybe they dropped the GNOME extensions website as a source.
Yes, the instructions looks good. Thank you @mzur !!
Added an extra explanation to enable the extension when downloading from GNOME Shell Extensions website or releases folder using the gnome-extensions tool.