Have user themes extension also look in `/usr/share/gnome-shell/theme`
The Yaru project puts their shell themes in /usr/share/gnome-shell/theme/
. This appears to be necessary in order to use the themes with a custom session (putting the themes in /usr/share/themes/
and symlinking from /usr/share/gnome-shell/theme/
does not work).
However, the user themes extension doesn't look in /usr/share/gnome-shell/theme/
for themes, so these themes wouldn't be selectable in gnome-tweaks with the user themes extension. To resolve this, the Yaru project symlinks to the themes from /usr/share/themes/Yaru{,-dark}/gnome-shell
.
Would it make more sense for the user themes extension to also look for themes in /usr/share/gnome-shell/theme/
?
It looks like the change to user themes would be pretty simple, just adding another path to the list:
Looks like gnome-tweaks would need to change too to get the list of themes:
Maybe not worth it - but there is currently this conflict where the themes need to be in /usr/share/gnome-shell/theme
for one thing to work (a custom session), but they need to be in /usr/share/themes
for another thing to work (being able to switch themes in gnome-tweak-tool). Symlinks resolve it but make packaging themes a bit more complex since symlinks in builds need to be made dynamically.