[Github-comments] [geany/geany] New filetype extensions (#1720)

[Piotr Orzechowski]

@elextr Please do not call these "favourites", because they are not that and I've never used such argument.

Pipenv is
> the officially recommended Python packaging tool from [Python.org](https://packaging.python.org/tutorials/managing-dependencies/#managing-dependencies) [[source](/pypa/pipenv/blob/master/README.rst)]

EditorConfig aims at helping
> developers define and maintain consistent coding styles between different editors and IDEs. [[source](http://editorconfig.org/)]

JSON5 and TOML are file types of their own. All of these are hardly my personal favourites or something.

The two remaining files are those from Vue.js and Babel projects, both several dozen times more popular on GitHub than Geany itself. Again, not a matter of some kind of personal preference.

Besides, I already wrote I understand your arguments. The "glob" one just looks like some premature optimization in the form of not adding these types, because in the future performance may drop, but it's not my project and I'm not forcing anything. As you can see, the PR is already closed.

I hope you won't mind if I refrained from further discussion. Case is closed and we're better off spending time on something else. ;)

PS. I didn't spot those `makefile.*` entries earlier.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1720#issuecomment-352319851
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20171218/e5a11fdb/attachment.html>