gnome-shell-extensions-user-theme noarch 1001f5cc57ce4b1e57b3991a9348480185870873fa29eca7d683bf6950b43e70 Lets the user select a custom theme for the shell Lets the user select a custom theme for the Gnome shell. It will allow you to apply a style from /.themes/[themeName]/gnome-shell/gnome-shell.css angrypenguin <angrypenguinpoland@gmail.com> https://live.gnome.org/GnomeShell/Extensions