Ubuntu
gnome-shell package

  1. Bug #1690966
  2. Comment #1

Comment 1 for bug 1690966

Revision history for this message
Jeremy Bícha (jbicha) wrote :

Some other themes ship a theme in /usr/share/themes/THEMENAME/gnome-shell/ GNOME does not really recommend that distros enable the user-theme extension by default so we should talk with GNOME to figure out the recommended way to set a distro's default gnome-shell theme.