You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Mar 12, 2023. It is now read-only.
I don't know if it's just me, but running a command looks like this:
$ gnome-shell-extension-installer 3518
[3518] Obtaining extension info
[Transparent Shell] Downloading extension
[Transparent Shell] Extracting extension
Extension “[email protected]” does not exist
The last line comes from gnome-extensions enable [email protected]. I noticed that the shell needs to be restarted before running the command. That means the extension disabled until the shell is restarted and this command is run manually.
Maybe it is possible to add the extension to settings get org.gnome.shell enabled-extensions instead of the gnome-extensions command ?
The text was updated successfully, but these errors were encountered:
WuerfelDev
changed the title
Does not get enabled after install in 3.38
Extension not get enabled after install (in gnome 3.38)
Nov 10, 2020
WuerfelDev
changed the title
Extension not get enabled after install (in gnome 3.38)
Extension not enabled after install (in gnome 3.38)
Nov 10, 2020
I don't know if it's just me, but running a command looks like this:
The last line comes from
gnome-extensions enable [email protected]
. I noticed that the shell needs to be restarted before running the command. That means the extension disabled until the shell is restarted and this command is run manually.Maybe it is possible to add the extension to
settings get org.gnome.shell enabled-extensions
instead of thegnome-extensions
command ?The text was updated successfully, but these errors were encountered: