James McCoy wrote: > On Sat, Jan 23, 2016 at 04:46:23PM +0100, Bram Moolenaar wrote: > > > > Christian Robinson wrote: > > > > > On Fri, 22 Jan 2016, David Fishburn wrote: > > > > > > > When plugins are developed and made available on the Vim website, do > > > > they adopt the Vim licence? > > > > > > The authors choose the license. Generally they adopt the Vim license, > > > or another "open source compatible" license; I've seen some with GPL, > > > some with BSD, and even one with Creative Commons. > > > > Yes, authors are free to pick a lincense. However, to be able to be > > included in the distribution the Vim license is needed. > > I think/hope you mean "compatible with the Vim license is needed", since > there are already runtime files included which aren't using Vim's > license (e.g., runtime/syntax/initng.vim and > runtime/syntax/dockerfile.vim).
Yes, compatible with the Vim license. Although using the Vim license makes things easier and clearer. I'm not sure what it means when a runtime file is using GPL. It's not built with anything else, thus I don't think the result is that the GPL "spills over". And since this is source code, obeying the GPL rules (providing the sources with the binary) is implicit. Thus I think it's OK, but I'm not a laywer... -- How To Keep A Healthy Level Of Insanity: 6. In the memo field of all your checks, write "for sexual favors". /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
