[Geany-Users] RFC: New Custom Filetypes Repository
frank at xxxxx
Wed Jan 6 09:49:16 UTC 2016
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 819 bytes
Desc: OpenPGP digital signature
More information about the Users