The fdo icons in the efl theme are indeed GPL3, as clearly staten in COPYING.images and data/elementary/themes/fdo
I have no idea about the contamination and the resulting theme final license. For sure I want (and we must) them to remain to that license. 2018-01-30 14:05 GMT+01:00 Jean-Philippe André <[email protected]>: > On Tue, Jan 30, 2018 at 9:30 PM, Simon Lees <[email protected]> wrote: > > > > > > > On 30/01/18 22:20, Jean-Philippe André wrote: > > > Hi, > > > > > > Sungtaek pointed out to me that we have GPLv3-licensed artworks (unsual > > for > > > images) in our theme, under data/elementary/theme/fdo. Those images are > > are > > > then included in the compiled theme default.edj. One source is clearly > > > GPLv3: > > > https://tiheum.deviantart.com/art/Faenza-Icons-173323228 > > > > > > Now I wonder what the implications of this are... > > > 1. Does Elementary become GPL because we load the theme and it contains > > > executable code (embryo & edje programs), so the theme is to be > > considered > > > a library, contaminating everything?? > > > 2. Or only the theme itself is GPL, by contamination from those images? > > > 3. Or is the compiled theme file not GPL because we're not linking or > > > derivating, merely archiving those images like in a Zip file, in which > > case > > > only what's in the tree is GPL? This would be same as HTML: > > > https://news.slashdot.org/story/13/06/26/2113242/when- > > gpl-becomes-almost-gpl-the-css-images-and-javascript- > > loophole/informative-comments#comments > > > > > > In the FAQ I only found a mention about fonts: > > > https://www.gnu.org/licenses/gpl-faq.en.html#FontException > > > We don't have such an exception. > > > > > > Pretty sure there is no problem (i.e. #3 is right), but IANAL so I'd > > rather > > > ask away :) > > > > > > > Licence wise i've always considered themes to be separate, whether that > > is correct or not is another question. GPL with images is silly anyway > > and we really should be asking upstream to relicense with some form of > > creative commons anyway which makes far more sense, but I guess the > > theme is probably technically GPL-3 as a binary. > > > Not so sure. HTML seems to be a crazy exception: An HTML file containing > GPL licensed JS code is not GPL itself. Not consistent but makes sense. EDJ > probably also falls under the category of "container". > > > > Probably the biggest actual real life issue is if the theme is being > > used in consumer devices such as tizen you would need to provide > > consumers a way to swap there stock theme for one of there choice. > > > > Yeah that's partly why I'm asking. :) > > -- > Jean-Philippe André > ------------------------------------------------------------ > ------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > _______________________________________________ > enlightenment-devel mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/enlightenment-devel > ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ enlightenment-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/enlightenment-devel
