Home
IDEs Support (IntelliJ Platform) | JetBrains
Submit a request
Community
Sign in

Jem
Follow New posts New posts and comments

Avatar
  • Total activity 2
  • Last activity December 28, 2015 22:35
  • Member since December 28, 2015 22:35
  • Following 0 users
  • Followed by 0 users
  • Votes 0
  • Subscriptions 0
Activity overview Posts (0) Comments (2)
Sort by recent activity Recent activity Votes
  • 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
Copyright © 2000– JetBrains s.r.o.