meaning that if we strip it implicitly it becomes part of the API so has to be kept "forever"

Then we could make it more flexible (as you eluded to) and just do simple suffix-matching. This would support less-common file names/extensions like myplugin.tar.gz or myplugin.GeanyPy.py or whatever. It wouldn't be a huge change and can probably be done in a backwards-compatible manner.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.