Sounds like a reasonable idea, but it triggered me to ask about licenses and copyright. Imagine my feigned horror when I discovered none of Geany's filetypes has a copyright notice or license for its use.
So I am claiming copyright and Enrico and Colomban, the invoice is in the mail :)
The wiki has a blanket "cc share alike" license notice in the footer, so thats better than nothing, though with no copyright owners identified just who is giving this license is questionable. But its better than Geany.
We need to make sure that the license is transferred to the new repo as well, and then I think its a good idea.
Cheers Lex (IANAL, nothing in the above constitutes legal advice :)
On 20 December 2015 at 12:11, Matthew Brush mbrush@codebrainz.ca wrote:
Hi all,
We often get contributions for adding custom filetypes to Geany, and we even have some in the source tree already. We tend to not want to add them to Geany repo, usually due to limited functionality, or limited popularity.
I would like to propose that we add a new repository to Github, similar to geany-themes, where we add any custom filetypes that are useful, but perhaps aren't up to par or popular enough to add to Geany proper. This would give a single place to get them all at once (via Git or Github Zip file download), and also a repo for packagers to use should they want to provide a package.
Inside the repo we could have the README or some other file cataloging all the filetypes, along with who contributed them, their status, like whether tag parsing works, syntax lexing, and such meta info. As a start, we could add all of the filetypes from the Wiki[0], any useful ones from pull requests, and even any questionable ones already in Geany (if there are any). We could also add some shell script or something to install them into a user's home dir all at once, if that's useful.
What do you think?
Cheers, Matthew Brush
Devel mailing list Devel@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel