Jem

Created December 28, 2015 22:35

Yes, uncommented those lines & they didn't take effect. Strange corporate policy stuff is afoot I think.

1. General
2. Installation and Licensing
3. Changing IDE default directories used for config, plugins, and caches storage

• 0 votes

Created December 28, 2015 22:35

I changed the values *and* copied the idea.properties from $IDE_HOME/bin to $HOME. Neither seems to have had an effect. v13.0.2-IC

1. General
2. Installation and Licensing
3. Changing IDE default directories used for config, plugins, and caches storage

• 0 votes