xdg-paths.patch

   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
   3 @@ -163,6 +163,9 @@
   4    fi
   5  fi
   6
   7 +WEBIDE_CONFIG_DIR="${XDG_CONFIG_HOME:-$HOME/.config}/IntelliJIdea"
   8 +WEBIDE_CACHE_DIR="${XDG_CACHE_HOME:-$HOME/.cache}/IntelliJIdea"
   9 +
  10  # ---------------------------------------------------------------------
  11  # Run the IDE.
  12  # ---------------------------------------------------------------------
  13 @@ -187,6 +190,7 @@
  14    "-Xbootclasspath/a:$IDE_HOME/lib/boot.jar" \
  15    -classpath "$CLASSPATH" \
  16    $VM_OPTIONS \
  17 +  -Dwebide.config.dir=$WEBIDE_CONFIG_DIR -Dwebide.cache.dir=$WEBIDE_CACHE_DIR \
  18    "-Djb.vmOptionsFile=$VM_OPTIONS_FILE" \
  19    "-XX:ErrorFile=$HOME/java_error_in_WEBIDE_%p.log" \
  20    "-XX:HeapDumpPath=$HOME/java_error_in_WEBIDE.hprof" \
  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 @@
  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}/.IntelliJIdea/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}/.IntelliJIdea/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.