Hello, I'm just enjoying latest cinnamon desktop on my Fedora 20 I see this web site http://cinnamon-spices.linuxmint.com/ are these provided also in rpm based format in some way/repo, in particular for extensions? At first sight on my Fedora 20 desktop a search for packages gives only: cinnamon cinnamon-control-center cinnamon-control-center-devel cinnamon-control-center-filesystem cinnamon-desktop cinnamon-desktop-devel cinnamon-screensaver cinnamon-session cinnamon-settings-daemon cinnamon-settings-daemon-devel cinnamon-translations imsettings-cinnamon In case of direct download and install from the web site are there any caveats to use when an upgrade comes in Fedora repo? Thanks in advance for any tip, Gianluca -- users mailing list users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org