In order to support User Themes gnome extension both locations are
necessary.

This extension looks into `/usr/share/themes/` for alternative gnome-
shell themes and makes them selectable from Gnome Tweaks.

The location `/usr/share/gnome-shell/` is used by gnome-shell itself to
look for default theme.

Of course, we don't need duplicates, a symlink is good enough.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1871386

Title:
  Duplicate CSS Yaru-dark gnome-shell theme

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/yaru-theme/+bug/1871386/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to