]> git.pld-linux.org Git - packages/phpstorm.git/blame - pld.patch
up to 8.0.2
[packages/phpstorm.git] / pld.patch
CommitLineData
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.
This page took 0.222244 seconds and 4 git commands to generate.