A separate extension can be enabled via the gnome-extensions enable command. How to enable common Extensions from the command line?
$ gsettings reset org.gnome.shell disable-user-extensions
This topic was automatically closed 45 days after the last reply. New replies are no longer allowed.