Per-user plugins

Perhaps I'm being dense, but, is there a way to have Idea download/install plugins to a different folder/directory than the default $IDEA_HOME/plugins? Every time I upgrade Pallada I have to manually move all my plugins to the new installation. Is there some place similar to "/Library/Preferences/IntelliJ IDEA" that is currently being used to store customizations? (BTW, I tried "/Library/Preferences/IntelliJ IDEA/plugins", but, alas, no joy.)

5 comments
Comment actions Permalink

Hello Mike,

You can use -Didea.plugins.path parameter.

Serge Baranov
JetBrains, Inc
http://www.jetbrains.com
"Develop with pleasure!"

-


Original Message-----
From: "Mike T. Miller" <no_mail@jetbrains.com>
Sent: Wednesday, June 23, 2004, 1:21:24 AM
To: jetbrains.intellij.eap
Subject: Per-user plugins

Perhaps I'm being dense, but, is there a way to have Idea
download/install plugins to a different folder/directory than the
default $IDEA_HOME/plugins? Every time I upgrade Pallada I have to
manually move all my plugins to the new installation. Is there some
place similar to "~/Library/Preferences/IntelliJ IDEA" that is
currently being used to store customizations? (BTW, I tried
"~/Library/Preferences/IntelliJ IDEA/plugins", but, alas, no joy.)

0
Comment actions Permalink

That'd be just as much hassle, as it involves editing the launcher for every new version.

I also agree that it'd be great to be able to have a plugin location outside of the idea installation that's searched by default.

It isn't a problem for windows people as most just install over old installations. On OSX though, the idea dir is clobbered so in effect it's a clean install every time, with all plugins wiped. Highly annoying!

0
Comment actions Permalink

If this is specified, does idea also find the system plugins defined in
the plugins dir i.e. cvs, ig etc. ?

N.

Serge Baranov wrote:

Hello Mike,

You can use -Didea.plugins.path parameter.

Serge Baranov
JetBrains, Inc
http://www.jetbrains.com
"Develop with pleasure!"

---Original Message---
From: "Mike T. Miller" <no_mail@jetbrains.com>
Sent: Wednesday, June 23, 2004, 1:21:24 AM
To: jetbrains.intellij.eap
Subject: Per-user plugins

Perhaps I'm being dense, but, is there a way to have Idea
download/install plugins to a different folder/directory than the
default $IDEA_HOME/plugins? Every time I upgrade Pallada I have to
manually move all my plugins to the new installation. Is there some
place similar to "~/Library/Preferences/IntelliJ IDEA" that is
currently being used to store customizations? (BTW, I tried
"~/Library/Preferences/IntelliJ IDEA/plugins", but, alas, no joy.)

0
Comment actions Permalink

Or set the IDEA_PLUGINS_PATH environment variable and run the
batch/script file, then you wouldn't have to edit anything each time.

N.

Hani Suleiman wrote:

That'd be just as much hassle, as it involves editing the launcher for every new version.

0
Comment actions Permalink

On Wed, 23 Jun 2004 00:52:55 +0100, Nathan Brown wrote:


If this is specified, does idea also find the system plugins defined in
the plugins dir i.e. cvs, ig etc. ?


No, (on Linux, anyway) it doesn't. Symlinking them works just fine
though.

--
Mark Scott

0

Please sign in to leave a comment.