]>
Commit | Line | Data |
---|---|---|
7975955d ER |
1 | --- idea-IU-129.713/bin/idea.sh~ 2013-06-10 12:27:34.000000000 +0300 |
2 | +++ idea-IU-129.713/bin/idea.sh 2013-09-30 12:48:36.835154099 +0300 | |
ab60db06 | 3 | @@ -163,6 +163,9 @@ |
7975955d ER |
4 | fi |
5 | fi | |
6 | ||
af1d6839 JP |
7 | +WEBIDE_CONFIG_DIR="${XDG_CONFIG_HOME:-$HOME/.config}/IntelliJIdea" |
8 | +WEBIDE_CACHE_DIR="${XDG_CACHE_HOME:-$HOME/.cache}/IntelliJIdea" | |
7975955d | 9 | + |
af1d6839 JP |
10 | # --------------------------------------------------------------------- |
11 | # Run the IDE. | |
12 | # --------------------------------------------------------------------- | |
13 | @@ -187,6 +190,7 @@ | |
bdc3065e JP |
14 | "-XX:ErrorFile=$HOME/java_error_in_IDEA_%p.log" \ |
15 | "-XX:HeapDumpPath=$HOME/java_error_in_IDEA.hprof" \ | |
16 | -Didea.paths.selector=IntelliJIdea2016.3 \ | |
af1d6839 JP |
17 | + -Dwebide.config.dir=$WEBIDE_CONFIG_DIR -Dwebide.cache.dir=$WEBIDE_CACHE_DIR \ |
18 | "-Djb.vmOptionsFile=$VM_OPTIONS_FILE" \ | |
bdc3065e JP |
19 | ${IDE_PROPERTIES_PROPERTY} \ |
20 | -Didea.jre.check=true \ | |
af1d6839 JP |
21 | --- IntelliJIdea-145.258.2/bin/idea.properties~ 2016-03-16 17:02:05.000000000 +0200 |
22 | +++ IntelliJIdea-145.258.2/bin/idea.properties 2016-03-21 11:07:02.191952728 +0200 | |
23 | @@ -6,21 +6,25 @@ | |
f21183a8 | 24 | # Uncomment this option if you want to customize path to IDE config folder. Make sure you're using forward slashes. |
7975955d | 25 | #--------------------------------------------------------------------- |
af1d6839 | 26 | # idea.config.path=${user.home}/.IntelliJIdea/config |
7975955d ER |
27 | +idea.config.path=${webide.config.dir} |
28 | ||
29 | #--------------------------------------------------------------------- | |
f21183a8 | 30 | # Uncomment this option if you want to customize path to IDE system folder. Make sure you're using forward slashes. |
7975955d | 31 | #--------------------------------------------------------------------- |
af1d6839 | 32 | # idea.system.path=${user.home}/.IntelliJIdea/system |
7975955d ER |
33 | +idea.system.path=${webide.cache.dir} |
34 | ||
35 | #--------------------------------------------------------------------- | |
f21183a8 | 36 | # Uncomment this option if you want to customize path to user installed plugins folder. Make sure you're using forward slashes. |
7975955d | 37 | #--------------------------------------------------------------------- |
af1d6839 | 38 | # idea.plugins.path=${idea.config.path}/plugins |
7975955d ER |
39 | +idea.plugins.path=${webide.config.dir}/plugins |
40 | ||
41 | #--------------------------------------------------------------------- | |
42 | # Uncomment this option if you want to customize path to IDE logs folder. Make sure you're using forward slashes. | |
43 | #--------------------------------------------------------------------- | |
af1d6839 | 44 | # idea.log.path=${idea.system.path}/log |
7975955d ER |
45 | +idea.log.path=${webide.cache.dir}/log |
46 | ||
47 | #--------------------------------------------------------------------- | |
48 | # Maximum file size (kilobytes) IDE should provide code assistance for. |