[Github-comments] [geany/geany] Do not strip dots from proxy plugin extensions (#1233)

[Matthew Brush]

What are the expected future uses of the dot?

Another approach would be to just remove the warning and allow either dotted or un-dotted extensions to be used, since it's extremely unlikely anyone will intentionally be wanting to handle plugin files in Geany's plugin dir like `theplugin..so`.

In any case, I'm fine with this PR. I actually paste-binned an almost identical patch to @kugel- the other day on IRC when we were discussing this.

-- 
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/1233#issuecomment-247564497
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160916/268aadc0/attachment.html>