idea-batch
idea-batch copied to clipboard
Remove Spaces from Plugin id
I recently got problems with the development of a plugin needing Batch Script Support. I think the problem is related to the plugin id containing whitespaces. Would it be possible to get an id which doesn't contain whitespace characters?
I don't really understand what you mean... Where do you see any spaces inside the plugin ID? What's even the plugin ID? I only now the plugin name https://github.com/aefimov/idea-batch/blob/5c1d7d6179c94f6990cbd26b08ece55162845d92/build.gradle#L24 or the plugin group https://github.com/aefimov/idea-batch/blob/5c1d7d6179c94f6990cbd26b08ece55162845d92/build.gradle#L55, but none of them contain spaces...
I mean that one: https://plugins.jetbrains.com/docs/intellij/plugin-dependencies.html#locating-plugin-id-and-preparing-sandbox
It is, for example, needed to make other plugins dependent on your plugin and it doesn't seem to work in the new version with the spaces in it.
It is set here: https://github.com/aefimov/idea-batch/blob/5c1d7d6179c94f6990cbd26b08ece55162845d92/src/main/resources/META-INF/plugin.xml#L2
Thank you for enlighten me! There seem to be problems with changing the ID with an update https://intellij-support.jetbrains.com/hc/en-us/community/posts/115000777330-Changing-plugin-ID-with-update
I understand. But maybe it would be possible to change it anyways and update the old plugin with a warning that any user should use the new plugin. But it should be verified if the spaces in the ID are the root cause beforehand. https://intellij-support.jetbrains.com/hc/en-us/community/posts/360000682259-rename-plugin