gnome-shell-extensions-user-theme noarch 906e9807ede40555ca03e93ce943578e3b35cfbea63ccd3438509557756dae80 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