]>
Commit | Line | Data |
---|---|---|
b464d123 ER |
1 | --- PhpStorm-139.732/bin/phpstorm.sh~ 2014-12-10 13:42:32.000000000 +0200 |
2 | +++ PhpStorm-139.732/bin/phpstorm.sh 2014-12-13 21:00:59.776397175 +0200 | |
d9a27da7 | 3 | @@ -152,8 +152,11 @@ |
ae6c8231 | 4 | fi |
5b77c7a6 ER |
5 | fi |
6 | ||
f16ae271 ER |
7 | +WEBIDE_CONFIG_DIR="${XDG_CONFIG_HOME:-$HOME/.config}/PhpStorm" |
8 | +WEBIDE_CACHE_DIR="${XDG_CACHE_HOME:-$HOME/.cache}/PhpStorm" | |
ae6c8231 | 9 | + |
b464d123 | 10 | COMMON_JVM_ARGS="-XX:ErrorFile=$HOME/java_error_in_WEBIDE_%p.log \"-Xbootclasspath/a:$IDE_HOME/lib/boot.jar\" -Didea.paths.selector=WebIde80 $IDE_PROPERTIES_PROPERTY" |
ae6c8231 | 11 | -IDE_JVM_ARGS="-Didea.platform.prefix=PhpStorm -Didea.no.jre.check=true" |
f16ae271 | 12 | +IDE_JVM_ARGS="-Didea.platform.prefix=PhpStorm -Didea.no.jre.check=true -Dwebide.config.dir=$WEBIDE_CONFIG_DIR -Dwebide.cache.dir=$WEBIDE_CACHE_DIR" |
ae6c8231 ER |
13 | ALL_JVM_ARGS="$VM_OPTIONS $COMMON_JVM_ARGS $IDE_JVM_ARGS $AGENT $REQUIRED_JVM_ARGS" |
14 | ||
400a74c2 | 15 | CLASSPATH="$IDE_HOME/lib/bootstrap.jar" |
1f07e370 ER |
16 | --- PhpStorm-133.982/bin/idea.properties~ 2014-02-25 05:43:47.000000000 +0200 |
17 | +++ PhpStorm-133.982/bin/idea.properties 2014-03-19 23:57:13.956684223 +0200 | |
18 | @@ -6,21 +6,25 @@ | |
19 | # Uncomment this option if you want to customize path to IDE config folder. Make sure you're using forward slashes. | |
ae6c8231 ER |
20 | #--------------------------------------------------------------------- |
21 | # idea.config.path=${user.home}/.WebIde/config | |
f16ae271 | 22 | +idea.config.path=${webide.config.dir} |
5f6ef746 | 23 | |
5b77c7a6 | 24 | #--------------------------------------------------------------------- |
1f07e370 | 25 | # Uncomment this option if you want to customize path to IDE system folder. Make sure you're using forward slashes. |
5b77c7a6 | 26 | #--------------------------------------------------------------------- |
ae6c8231 | 27 | # idea.system.path=${user.home}/.WebIde/system |
f16ae271 | 28 | +idea.system.path=${webide.cache.dir} |
5f6ef746 | 29 | |
5b77c7a6 | 30 | #--------------------------------------------------------------------- |
1f07e370 | 31 | # Uncomment this option if you want to customize path to user installed plugins folder. Make sure you're using forward slashes. |
5b77c7a6 | 32 | #--------------------------------------------------------------------- |
1f07e370 | 33 | # idea.plugins.path=${idea.config.path}/plugins |
f16ae271 | 34 | +idea.plugins.path=${webide.config.dir}/plugins |
5f6ef746 ER |
35 | |
36 | #--------------------------------------------------------------------- | |
ae6c8231 | 37 | # Uncomment this option if you want to customize path to IDE logs folder. Make sure you're using forward slashes. |
5b77c7a6 | 38 | #--------------------------------------------------------------------- |
1f07e370 | 39 | # idea.log.path=${idea.system.path}/log |
f16ae271 | 40 | +idea.log.path=${webide.cache.dir}/log |
5b77c7a6 ER |
41 | |
42 | #--------------------------------------------------------------------- | |
43 | # Maximum file size (kilobytes) IDE should provide code assistance for. |