Skip to content

* idea plugin: deployment folder changed from idea to com.mobidevelop.robovm.intellij + fixes - #861

Merged
Tom-Ski merged 3 commits into
MobiVM:masterfrom
dkimitsa:idea/plugin-folder-rename
Aug 10, 2026
Merged

* idea plugin: deployment folder changed from idea to com.mobidevelop.robovm.intellij + fixes#861
Tom-Ski merged 3 commits into
MobiVM:masterfrom
dkimitsa:idea/plugin-folder-rename

Conversation

@dkimitsa

Copy link
Copy Markdown
Contributor
  1. it might cause problem in future to have plugin folder named idea inside JetBrains installed plugins folder.

  2. fixed repeating message "Installed RoboVM SDK" on each gradle sync ever if there is not files were installed

dkimitsa added 2 commits July 16, 2026 16:26
…dea`

1. it might cause problem in future to have plugin folder named `idea` inside JetBrains installed plugins folder.

2. fixed repeating message "Installed RoboVM SDK" on each gradle sync ever if there is not files were installed
@dkimitsa dkimitsa changed the title * idea plugin: deployment folder changed from idea to org.robovm.idea * idea plugin: deployment folder changed from idea to com.mobidevelop.robovm.intellij + fixes Jul 25, 2026
@dkimitsa

Copy link
Copy Markdown
Contributor Author

few comments where Idea was present:

important one:

  • installation folder: ~/Application Support/Google/AndroidStudio2026.1.2/plugins/idea.

other locations:

  • inside com.mobidevelop.robovm.intellij-2.3.26-SNAPSHOT.zip root folder was names as "Idea"
  • in AS/Idea cache zip was named Idea: ~/Library/Caches/Google/AndroidStudio2026.1.2/plugins/idea.zip
  • during development, idea deploys it to plugins folder with Idea name: ~/Library/Caches/JetBrains/IntelliJIdea2026.2/plugins-sandbox/plugins/Idea

@dkimitsa

Copy link
Copy Markdown
Contributor Author

fyi: verification failed as there was something wrong with Xcode on runner. IllegalArgumentException "The path ' means findXcodePath() failed.

@Tom-Ski
Tom-Ski merged commit 40fe306 into MobiVM:master Aug 10, 2026
1 check passed
@dkimitsa
dkimitsa deleted the idea/plugin-folder-rename branch August 18, 2026 08:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants