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
Le 20/12/2015 03:11, Matthew Brush a écrit :
[…]
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.
[…]
What do you think?
Why not, could be useful to some and have more semantic/visibility than the Wiki.
Tho, the Wiki filetypes also often comes with additional details, like the snippet for filetype_extensions.conf, or a (possibly useful) build script for Geany, comments, tips, etc. Maybe there should be some similar stuff in a repo with them then, maybe even an automated scritp capable of altering filetype_extensions.conf and alike?
Cheers, Colomban
On 01.01.2016 20:28, Colomban Wendling wrote:
Le 20/12/2015 03:11, Matthew Brush a écrit :
[…]
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.
[…]
What do you think?
Why not, could be useful to some and have more semantic/visibility than the Wiki.
Tho, the Wiki filetypes also often comes with additional details, like the snippet for filetype_extensions.conf, or a (possibly useful) build script for Geany, comments, tips, etc. Maybe there should be some similar stuff in a repo with them then, maybe even an automated scritp capable of altering filetype_extensions.conf and alike?
Just a thought without huge reflecting: Couldn't this be done by a plugin? I mean, a plugin pulling from git repo filetype defintions and putting it into .config/geany and e.g. pasting snippets into snippets.conf.
Cheers, Frank
A plugin is sort of similar to how vscode initial allowed customisation, except they just used a yeoman generator that allowed the user to convert textmate theme bundles to installed vscode themes.
Cheers
Sayth
On Wed, 6 Jan 2016 8:49 pm Frank Lanitz frank@frank.uvena.de wrote:
On 01.01.2016 20:28, Colomban Wendling wrote:
Le 20/12/2015 03:11, Matthew Brush a écrit :
[…]
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.
[…]
What do you think?
Why not, could be useful to some and have more semantic/visibility than the Wiki.
Tho, the Wiki filetypes also often comes with additional details, like the snippet for filetype_extensions.conf, or a (possibly useful) build script for Geany, comments, tips, etc. Maybe there should be some similar stuff in a repo with them then, maybe even an automated scritp capable of altering filetype_extensions.conf and alike?
Just a thought without huge reflecting: Couldn't this be done by a plugin? I mean, a plugin pulling from git repo filetype defintions and putting it into .config/geany and e.g. pasting snippets into snippets.conf.
Cheers, Frank
Users mailing list Users@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users
Why not, could be useful to some and have more semantic/visibility than the Wiki.
Tho, the Wiki filetypes also often comes with additional details, like the snippet for filetype_extensions.conf, or a (possibly useful) build script for Geany, comments, tips, etc. Maybe there should be some similar stuff in a repo with them then, maybe even an automated scritp capable of altering filetype_extensions.conf and alike?
Just a thought without huge reflecting: Couldn't this be done by a plugin? I mean, a plugin pulling from git repo filetype defintions and putting it into .config/geany and e.g. pasting snippets into snippets.conf.
On thinking about it some more, a repository is not very user friendly for getting just a few files from, and a user would usually only want those for a single language. Its either get all by cloning the repo or a single file at a time from github.
So yeah a plugin that grabs all the files in a directory and applies the patches locally would be a good thing.
Thomas and Matthew seem to be converging on getting upstream Geanypy adapted to the new plugin architecture, hopefully it will be added to Geany-Plugins by 1.27 and then this could be a first use. Running Git from Python will be much easier than from C :)
Cheers Lex
Cheers, Frank
Users mailing list Users@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/users