Which extension manager package do you have installed?
gnome-shell-extension-manager will let you install extensions from extensions.gnome.org
gnome-shell-extension-manager will let you install extensions from extensions.gnome.org
Statistics: Posted by bbbhltz — 2024-08-03 20:50