pld.patch

   1 --- PhpStorm-163.7743.50/bin/phpstorm.sh        2016-11-24 20:01:18.624544058 +0200
   2 +++ PhpStorm-163.7743.50/bin/phpstorm.sh        2016-11-27 12:51:53.104141826 +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 @@ -196,6 +199,7 @@
  14    -Didea.paths.selector=PhpStorm2016.3 \
  15    "-Djb.vmOptionsFile=$VM_OPTIONS_FILE" \
  16 +  -Dwebide.config.dir=$WEBIDE_CONFIG_DIR -Dwebide.cache.dir=$WEBIDE_CACHE_DIR \
  17    ${IDE_PROPERTIES_PROPERTY} \
  18 -  -Didea.platform.prefix=PhpStorm -Didea.jre.check=true \
  19 +  -Didea.platform.prefix=PhpStorm -Didea.jre.check=false \
  20    com.intellij.idea.Main \
  21    "$@"
  22 --- PhpStorm-145.258.2/bin/idea.properties~     2016-03-16 17:02:05.000000000 +0200
  23 +++ PhpStorm-145.258.2/bin/idea.properties      2016-03-21 11:07:02.191952728 +0200
  24 @@ -6,21 +6,25 @@
  25  # Uncomment this option if you want to customize path to IDE config folder. Make sure you're using forward slashes.
  26  #---------------------------------------------------------------------
  27  # idea.config.path=${user.home}/.PhpStorm/config
  28 +idea.config.path=${webide.config.dir}
  29
  30  #---------------------------------------------------------------------
  31  # Uncomment this option if you want to customize path to IDE system folder. Make sure you're using forward slashes.
  32  #---------------------------------------------------------------------
  33  # idea.system.path=${user.home}/.PhpStorm/system
  34 +idea.system.path=${webide.cache.dir}
  35
  36  #---------------------------------------------------------------------
  37  # Uncomment this option if you want to customize path to user installed plugins folder. Make sure you're using forward slashes.
  38  #---------------------------------------------------------------------
  39  # idea.plugins.path=${idea.config.path}/plugins
  40 +idea.plugins.path=${webide.config.dir}/plugins
  41
  42  #---------------------------------------------------------------------
  43  # Uncomment this option if you want to customize path to IDE logs folder. Make sure you're using forward slashes.
  44  #---------------------------------------------------------------------
  45  # idea.log.path=${idea.system.path}/log
  46 +idea.log.path=${webide.cache.dir}/log
  47
  48  #---------------------------------------------------------------------
  49  # Maximum file size (kilobytes) IDE should provide code assistance for.