]> git.pld-linux.org Git - packages/phpstorm.git/blob - pld.patch
058d6e6559fdb00ca6a45ba690d99ad346e09647
[packages/phpstorm.git] / pld.patch
1 --- PhpStorm-163.7743.50/bin/phpstorm.sh~       2016-11-24 19:42:09.000000000 +0200
2 +++ PhpStorm-163.7743.50/bin/phpstorm.sh        2016-11-24 20:01:18.624544058 +0200
3 @@ -178,6 +178,9 @@
4    CLASSPATH="$CLASSPATH:$WEBIDE_CLASSPATH"
5  fi
6  
7 +WEBIDE_CONFIG_DIR="${XDG_CONFIG_HOME:-$HOME/.config}/PhpStorm"
8 +WEBIDE_CACHE_DIR="${XDG_CACHE_HOME:-$HOME/.cache}/PhpStorm"
9 +
10  # ---------------------------------------------------------------------
11  # Run the IDE.
12  # ---------------------------------------------------------------------
13 @@ -198,6 +198,7 @@
14    "-XX:HeapDumpPath=$HOME/java_error_in_PHPSTORM.hprof" \
15    -Didea.paths.selector=PhpStorm2016.3 \
16    "-Djb.vmOptionsFile=$VM_OPTIONS_FILE" \
17 +  -Dwebide.config.dir=$WEBIDE_CONFIG_DIR -Dwebide.cache.dir=$WEBIDE_CACHE_DIR \
18    ${IDE_PROPERTIES_PROPERTY} \
19    -Didea.platform.prefix=PhpStorm -Didea.jre.check=true \
20    com.intellij.idea.Main \
21 --- PhpStorm-145.258.2/bin/idea.properties~     2016-03-16 17:02:05.000000000 +0200
22 +++ PhpStorm-145.258.2/bin/idea.properties      2016-03-21 11:07:02.191952728 +0200
23 @@ -6,21 +6,25 @@
24  # Uncomment this option if you want to customize path to IDE config folder. Make sure you're using forward slashes.
25  #---------------------------------------------------------------------
26  # idea.config.path=${user.home}/.PhpStorm/config
27 +idea.config.path=${webide.config.dir}
28  
29  #---------------------------------------------------------------------
30  # Uncomment this option if you want to customize path to IDE system folder. Make sure you're using forward slashes.
31  #---------------------------------------------------------------------
32  # idea.system.path=${user.home}/.PhpStorm/system
33 +idea.system.path=${webide.cache.dir}
34  
35  #---------------------------------------------------------------------
36  # Uncomment this option if you want to customize path to user installed plugins folder. Make sure you're using forward slashes.
37  #---------------------------------------------------------------------
38  # idea.plugins.path=${idea.config.path}/plugins
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  #---------------------------------------------------------------------
44  # idea.log.path=${idea.system.path}/log
45 +idea.log.path=${webide.cache.dir}/log
46  
47  #---------------------------------------------------------------------
48  # Maximum file size (kilobytes) IDE should provide code assistance for.
This page took 0.175456 seconds and 2 git commands to generate.